Wyniki wyszukiwania dla: Ian Oliver
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Industrial Papers > 248-251
Lecture Notes in Computer Science > Embedded Computer Systems: Architectures, Modeling, and Simulation > System Design and Modeling > 15-26
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Regular Papers > 186-200
Understanding Complex Systems > From System Complexity to Emergent Properties > Dynamical Artificial or Natural Complex Networks > 261-278
Advances in Design and Specification Languages for SoCs > UML-Based System Specification and Design > 107-122