Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by H. Brauen
Graphically Defining Simulation Models of Concurrent Systems.
Toward Interactive Audiovisual Cartography : Motivations, Design Strategies, and Methods
Related publications
Combining Simulation and Guided Traversal for the Verification of Concurrent Systems
Application of Steam Turbines Simulation Models in Power Generation Systems
Revista de Engenharia Térmica
Circulating Concurrent-Flow Drying Simulation of Rapeseed
Journal of Biosystems Engineering
Control-Oriented Models for Real-Time Simulation of Automotive Transmission Systems
Oil and Gas Science and Technology
Fuel Technology
Power Technology
Chemical Engineering
Energy Engineering
Temporal Debugging for Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Specifying Agent Behavior as Concurrent Tasks: Defining the Behavior of Social Agents
Type Systems for Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Supervisory Control of Concurrent Discrete-Event Systems
International Journal of Control
Control
Systems Engineering
Computer Science Applications
