"Abstract State Machines. A Method for High-Level System Design and Analysis"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Abstract State Machines: A Method for High-Level System Design and Analysis	Egon Börger; Robert Stärk	2003	Springer Berlin Heidelberg
Abstract state machines. . A method for high-level system design and analysis		2003	Springer
Abstract State Machines. A Method for High-Level System Design and Analysis	Egon B¨orger, and Robert Stärk	2003	Springer-Verlag
High-Level System Modeling: Specification and Design Methodologies	Ronald Waxman; Jean-Michel Bergé; Oz Levia; Jacques Rouillard	1996	Springer US
High — Level Synthesis: Introduction to Chip and System Design	Daniel D. Gajski, Nikil D. Dutt, Allen C-H Wu, Steve Y-L Lin (auth.)	1992	Springer US
High — Level Synthesis: Introduction to Chip and System Design	Daniel D. Gajski; Nikil D. Dutt; Allen C-H Wu; Steve Y-L Lin	1992	Springer US
Formal Methods and Models for System Design: A System Level Perspective	Rajesh Gupta; Paul Le Guernic; Sandeep Kumar Shukla; Jean-Pierre Talpin	2004	Springer US
The Hybrid High-Order Method for Polytopal Meshes: Design, Analysis, and Applications	Daniele Antonio Di Pietro; Jérôme Droniou	1st ed. 2020	Springer International Publishing
System-Level Design Methodologies for Telecommunication	Nicolas Sklavos; Michael Hübner; Diana Goehringer; Paris Kitsos	2014	Springer International Publishing
Verification Techniques for System-Level Design	Masahiro Fujita; Indradeep Ghosh and Mukul Prasad	2008	Morgan Kaufmann
Abstract machines and grammars	Savitch W.J.	1982	Brown
Ingredients for Successful System Level Design Methodology	Hiren D. Patel; Sandeep Kumar Shukla	2008	Springer Netherlands
Analysis and Design for Networked Teleoperation System	Changchun Hua; Yana Yang; Xian Yang; Xinping Guan	1st ed. 2019	Springer Nature Singapore
Coefficient Diagram Method for Control System Design	Shunji Manabe; Young Chol Kim	1st ed. 2021	Springer Nature Singapore
High-Level Power Analysis and Optimization	Anand Raghunathan; Niraj K. Jha; Sujit Dey	1998	Springer US
High-Level Verification: Methods and Tools for Verification of System-Level Designs	Sudipta Kundu; Sorin Lerner; Rajesh K. Gupta	2011	Springer New York
Asynchronous Sequential Machine Design and Analysis: A Comprehensive Development of the Design and Analysis of Clock-Independent State Machines and Systems	Richard Tinder		Springer International Publishing
Asynchronous sequential machine design and analysis: a comprehensive development of the design and analysis of clock-independent state machines and systems	Richard F. Tinder	2009	Morgan & Claypool Publishers
System Level ESD Co-Design	Charvaka Duvvury; Harald Gossner	2015	Wiley-IEEE Press
System Level Design with Rosetta	Perry Alexander	2007	Morgan Kaufmann
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
The Abstract State Machines Method for High-Level System Design and Analysis	Egon Börger	Formal Methods: State of the Art and New Directions	Paul Boca; Jonathan P. Bowen; Jawed Siddiqi	2010	Springer London
High Level System Design and Analysis Using Abstract State Machines	Egon Börger	Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings	Dieter Hutter; Werner Stephan; Paolo Traverso; Markus Ullmann	1999	Springer Berlin Heidelberg
A Reliability Prediction Method for Abstract State Machines	Raffaela Mirandola; Pasqualina Potena; Patrizia Scandurra	Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings	John Derrick; John Fitzgerald; Stefania Gnesi; Sarfraz Khurshid; Michael Leuschel; Steve Reeves; Elvinia Riccobene	2012	Springer Berlin Heidelberg
Extracting High-Level System Specifications from Source Code via Abstract State Machines	Flavio Ferrarotti; Josef Pichler; Michael Moser; Georg Buchgeher	Model and Data Engineering: 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings	Klaus-Dieter Schewe; Neeraj Kumar Singh	1st ed. 2019	Springer International Publishing
A Logic for Abstract State Machines	Robert F. Stärk; Stanislas Nanchen	Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings	Laurent Fribourg	2001	Springer Berlin Heidelberg
Abstract State Machines	Robert F. Stärk; Joachim Schmid; Egon Börger	Java and the Java Virtual Machine: Definition, Verification, Validation	Robert F. Stärk; Joachim Schmid; Egon Börger	2001	Springer Berlin Heidelberg
Linking Architectural and Component Level System Views by Abstract State Machines	Egon Börger	Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03	Christoph Grimm	2004	Springer US
Using Abstract State Machines for the Design of Multi-level Transaction Schedulers	Markus Kirchberg; Klaus-Dieter Schewe; Jane Zhao	Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday	Jean-Raymond Abrial; Uwe Glässer	2010	Springer Berlin Heidelberg
HiLA: High-Level Aspects for UML State Machines	Gefei Zhang; Matthias Hölzl	Models in Software Engineering: Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers	Sudipto Ghosh	2010	Springer Berlin Heidelberg
Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems	Farah Al-Shareefi; Alexei Lisitsa; Clare Dixon	Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings	Simone Cavalheiro; José Fiadeiro	1st ed. 2017	Springer International Publishing
A Security Logic for Abstract State Machines	Stanislas Nanchen; Robert F. Stärk	Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings	Wolf Zimmermann; Bernhard Thalheim	2004	Springer Berlin Heidelberg
Coloured petri nets: A high level language for system design and analysis	Kurt Jensen	Advances in Petri Nets 1990	Grzegorz Rozenberg	1991	Springer Berlin Heidelberg
Coloured Petri Nets: A High Level Language for System Design and Analysis	K. Jensen	High-level Petri Nets: Theory and Application	Kurt Jensen; Grzegorz Rozenberg	1991	Springer Berlin Heidelberg
Relativity and Abstract State Machines	Edel Sherratt	System Analysis and Modeling: Theory and Practice: 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers	Oystein Haugen; Rick Reed; Reinhard Gotzhein	2013	Springer Berlin Heidelberg
Workshop: Abstract State Machines	Uwe Glässer; Peter H. Schmitt	Informatik ’98: Informatik zwischen Bild und Sprache 28. Jahrestagung der Gesellschaft für Informatik Magdeburg, 21. –25. September 1998	Jürgen Dassow; Rudolf Kruse	1998	Springer Berlin Heidelberg
Slicing Abstract State Machines	Antje Nowack	Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings	Wolf Zimmermann; Bernhard Thalheim	2004	Springer Berlin Heidelberg
High-level ML system design		Machine Learning Engineering with Python: Manage the production life cycle of machine learning models using MLOps with practical examples	Andrew P. McMahon	2021	Packt Publishing
5 High Level System Design		Grokking the System Design	educative.io		educative.io
6 High Level System Design		Grokking the System Design	educative.io		educative.io
Unified Syntax for Abstract State Machines	Paolo Arcaini; Silvia Bonfanti; Marcel Dausend; Angelo Gargantini; Atif Mashkoor; Alexander Raschke et al.	Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings	Michael Butler; Klaus-Dieter Schewe; Atif Mashkoor; Miklos Biro	1st ed. 2016	Springer International Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Abstract State Machines. A Method for High-Level System Design and Analysis" - similar Books and Chapters