11 treff

tilstandsdiagrammer
Statecharts som dialognotasjon i xGUIMS
Kjetil Flataukan
Bok Bokmål 2001 · Vis mer
Synchronized local state diagram : a modelling methodology under development
Poul E. Heegaard, Bjarne E. Helvik, Eigil...
Bok Engelsk 1991 · Les boka på nett · Vis mer
Synchronized local state diagrams : description of a dependability modelling method under development
Poul E. Heegaard, Bjarne E. Helvik
Bok Språk ikke angitt 1990 · Vis mer
Modeling reactive systems with statecharts : the statemate approach
David Harel and Michal Politi
Bok Engelsk 1998 · Vis mer
A verification-oriented theory of data in labelled transition systems
Ilkka Kokkarinen
Bok Engelsk 1998 · Vis mer
Specifying computer systems with probabilistic sequence diagrams
Atle Refsdal
Bok Engelsk 2008 · Vis mer
Nonblocking supervisory control of state tree structures
Chuan Ma, W. Murray Wonham
Bok Engelsk 2005 · Vis mer
Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings
CAV '97
Bok Engelsk 1997 · Vis mer
CONCUR'97 : concurrency theory : 8th international conference, Warsaw, Poland, July 1-4, 1997 : proceedings
CONCUR '97
Bok Engelsk 1997 · Vis mer
Practical Statecharts in C/C++ : Quantum Programming for Embedded Systems
Samek, Miro.
Bok Engelsk 2002 · Vis mer
State testing of embedded software
Antti Auer
Bok Engelsk 1997 · Vis mer