Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP
Ninth International Conference on Information and Knowledge Management
The intuitionism behind Statecharts steps
ACM Transactions on Computational Logic (TOCL)
A comparison of Statecharts step semantics
Theoretical Computer Science
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Statecharts Via Process Algebra
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
A Compositional Real-Time Semantics of STATEMATE Designs
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
GCCS: A Graphical Coordination Language for System Specification
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Formalization of UML-Statecharts
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A formal requirements engineering method for specification, synthesis, and verification
SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)
Engineering commitment-based multiagent systems: a temporal logic approach
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Modular refinement of hierarchic reactive machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Compositional semantics and behavioral equivalences for P Systems
Theoretical Computer Science
An Algebraic Theory Of Boundary Crossing Transitions
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalising UML state machines for model checking
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
What is in a step: new perspectives on a classical question
Time for verification
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Formal semantics of extended hierarchical state transition matrix by CSP
ACM SIGSOFT Software Engineering Notes
Argos: an automaton-based synchronous language
Computer Languages
| Hi-index | 0.00 |