Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Jan Schäfer
Joint Papers
ABS: A Core Language for Abstract Behavioral Specification
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
Cite
×