Conceptual Modeling: Foundations and Applications: Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
Conceptual Modeling: Foundations and Applications: Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models
Beteiligte:
Lapouchnian, Alexei;
Lespérance, Yves
Erschienen:
Springer Berlin Heidelberg, 2009
Erschienen in:Conceptual Modeling: Foundations and Applications