|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 727 occurrences of 366 keywords
|
|
|
Results
Found 686 publication records. Showing 686 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
38 | David Harel |
Some Thoughts on Statecharts, 13 Years Later. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
38 | Jan Phillips, Peter Scholz |
Compositional Specification of Embedded Systems with Statecharts. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
38 | Simon Stobart, Norman Parrington, Bor-Yuan Tsai |
Using Extended General Statecharts to Generate Test Cases for Overloaded/Polymorphic Object-Oriented Programs: A Case Study. |
TOOLS (24) |
1997 |
DBLP DOI BibTeX RDF |
General Statechart, Extended General Statechart, Polymorphism, Statechart, Overloaded, State-Base Testing |
38 | Andrea Maggiolo-Schettini, Massimo Merro |
Prorities in Statecharts. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
38 | Adriano Peron |
Statecharts, Transition Structures and Transformations. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
38 | Antonio Mendes da Silva Filho |
Statecharts supervision models for reactive systems. |
CASCON |
1995 |
DBLP BibTeX RDF |
|
38 | Nancy A. Day, Jeffrey J. Joyce |
The Semantics of Statecharts in HOL. |
HUG |
1993 |
DBLP DOI BibTeX RDF |
|
38 | Doron Drusinsky, David Harel |
Using statecharts for hardware description and synthesis. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
38 | Cornelis Huizing, Rob Gerth, Willem P. de Roever |
Modeling Statecharts Behaviour in a Fully Abstract Way. |
CAAP |
1988 |
DBLP DOI BibTeX RDF |
|
36 | Hywel R. Dunn-Davies, Jim Cunningham |
Verifying realizability and reachability in recursive interaction protocol specifications. |
AAMAS (2) |
2009 |
DBLP BibTeX RDF |
propositional statecharts, verification, interaction protocols |
36 | Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel |
Toward Verified Biological Models. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2008 |
DBLP DOI BibTeX RDF |
modeling, verification, statecharts, C. elegans |
36 | Peter Scholz |
Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts. |
Softw. Syst. Model. |
2006 |
DBLP DOI BibTeX RDF |
?-charts, Perfect synchrony, Fixed point semantics, Distributed systems, Partitioning, Statecharts, Reactive systems |
36 | Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden |
Synthesizing safe state machines from Esterel. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
SyncCharts, safe state machines, textual/graphical languages, Statecharts, reactive systems, Esterel |
36 | Christian Seybold, Silvio Meier, Martin Glinz |
Scenario-driven modeling and validation of requirements models. |
SCESM |
2006 |
DBLP DOI BibTeX RDF |
Adora, simulation, modeling, scenarios, statecharts |
36 | Hamdan Dammag, Nimal Nissanke |
A Mathematical Framework for Safecharts. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
Step Semantics, Security, Safety, Statecharts, rbac |
36 | Elena Troubitsyna |
Integrating Safety Analysis into Formal Specification of Dependable Systems. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
failure mode and effect analysis, formal specification, statecharts, actions systems |
36 | Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino |
Using extended positional grammars to develop visual modeling languages. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
automatic generation of visual programming environments, extended positional grammars, formal specifications, visual languages, statecharts |
36 | Nimal Nissanke, Hamdan Dammag |
Risk Ordering of States in Safecharts. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
risk ordering, nuclear safety, Safety, Statecharts, risk assessment, failures |
36 | Jean Hartmann, Claudio Imoberdorf, Michael Meisinger |
UML-Based integration testing. |
ISSTA |
2000 |
DBLP DOI BibTeX RDF |
COM/DCOM, XML, CORBA, test generation, functional testing, distributed components, UML statecharts, test execution |
36 | David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot |
STATEMATE: A Working Environment for the Development of Complex Reactive Systems. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
complex reactive systems, graphical orientation, debug diagrammatic, software engineering, design, specification, programming environments, analysis, documentation, systems analysis, development, statecharts, functionality, behavior, graphical languages, working environment, STATEMATE |
36 | Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Mercer, Owen O'Brien |
SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
36 | Carlos Renato Lisboa Francês |
Stocastic statecharts and queuing statecharts: new approaches for performance evaluation based on statechart specification. |
|
2001 |
RDF |
|
36 | Jan-Juan Hiemer |
Statecharts in CSP - ein Prozeßmodell in CSP zur Analyse von Statemate-Statecharts. |
|
1999 |
RDF |
|
34 | Fevzi Belli, Axel Hollmann |
Test generation and minimization with "basic" statecharts. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
fault modeling, statecharts, test case generation, test coverage, test optimization |
34 | Andrzej Wasowski |
On efficient program synthesis from statecharts. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
embedded systems, statecharts, program synthesis, automatic code generation |
34 | Jan Jürjens |
A UML statecharts semantics with message-passing. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
Unified Modeling Language (UML), UML, message-passing, statecharts, formal semantics, executable specifications |
34 | Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland |
A compositional approach to statecharts semantics. |
SIGSOFT FSE |
2000 |
DBLP DOI BibTeX RDF |
operational semantics, statecharts, compositionality |
34 | William Chan 0001, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner |
Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts. |
ICSE |
1999 |
DBLP DOI BibTeX RDF |
fault tolerance, formal methods, formal verification, binary decision diagrams, statecharts, symbolic model checking, software specification |
34 | Marcelo Augusto Santos Turine, Maria Cristina Ferreira de Oliveira, Paulo César Masiero |
A Navigation-Oriented Hypertext Model Based on Statecharts. |
Hypertext |
1997 |
DBLP DOI BibTeX RDF |
HMBS, hierarchical views, hypertext document model, statecharts, browsing semantics |
34 | Fabiano Borges Paulo, Paulo César Masiero, Maria Cristina Ferreira de Oliveira |
Hypercharts: extended statecharts to support hypermedia specification. |
ICECCS |
1997 |
DBLP DOI BibTeX RDF |
hypercharts, extended statecharts, hypermedia specification, information synchronization requirements, timed history, timed transitions, Petri net based multimedia models, statechart models, hypermedia, synchronization mechanisms, temporal specification |
30 | Youssef Gamha, Nacéra Bennacer, Guy Vidal-Naquet, Béchir el Ayeb, Lotfi Ben Romdhane |
A Framework for the Semantic Composition of Web Services Handling User Constraints. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Jiufu Liu, Zhong Yang |
UML and B Method Based Analysis and Refinement for Flight Control Software of Unmanned Aerial Vehicle. |
CSSE (1) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Wei Dong 0006, Ji Wang 0001, Zhichang Qi, Ni Rong |
Compositional Verification of UML Dynamic Models. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Steffen Prochnow, Reinhard von Hanxleden |
Comfortable modeling of complex reactive systems. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Nawal Addouche, Christian Antoine, Jacky Montmain |
Methodology for UML Modeling and Formal Verification of Real-Time Systems. |
CIMCA/IAWTIC |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Thomas Cottenier, Aswin van den Berg, Tzilla Elrad |
Modeling Aspect-Oriented Compositions. |
MoDELS (Satellite Events) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Tomasz Babczynski, Zofia Kruczkiewicz, Jan Magott |
Performance Comparison of Multi-agent Systems. |
CEEMAS |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Nawal Addouche, Christian Antoine, Jacky Montmain |
Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
30 | J. Sebestyénová |
Simulation and Verification Tool for Hierarchical Real-Time Systems. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Günter Graw, Peter Herrmann |
Generation and Enactment of Controllers for Business Architectures Using MDA. |
EWSA |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Luís Gomes 0001, Anikó Costa |
From Use Cases to System Implementation: Statechart Based Co-design. |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Marco Winckler, Philippe A. Palanque |
StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications. |
DSV-IS |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Gerald Lüttgen, Michael Mendler |
Axiomatizing an Algebra of Step Reactions for Synchronous Languages. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Elizabeth Latronico, Philip Koopman |
Representing Embedded System Sequence Diagrams as a Formal Language. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Johann Schumann, Jon Whittle 0001 |
Automatic Synthesis of Agent Designs in UML. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Ulrich Nickel 0002, Jörg Niere, Albert Zündorf |
The FUJABA environment. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
Java, UML |
30 | A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar |
A Graphical Environment for the Specification and Verification of Reactive Systems. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Emil Sekerinski |
Graphical Design of Reactive Systems. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Michael von der Beeck, Tiziana Margaria, Bernhard Steffen |
A formal requirements engineering method for specification, synthesis, and verification. |
SEE |
1997 |
DBLP DOI BibTeX RDF |
|
30 | Kenji Taguchi 0001, Keijiro Araki |
Extending Z with State Transition Constraints. |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
|
30 | Doron Drusinsky, David Harel |
On the Power of Cooperative Concurrency. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
28 | Rafal Mrowka, Tomasz Szmuc |
UML Statecharts Compositional Semantics in LOTOS. |
ISPDC |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Ariel Gonzalez, Carlos Luna 0001 |
Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities. |
SCCC |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Michelle L. Crane, Jürgen Dingel |
UML vs. classical vs. rhapsody statecharts: not all models are created equal. |
Softw. Syst. Model. |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Sudhanwa Kholgade, Jamie White, Hassan Reza |
Comparing the Specification of a Near-Real Time Commanding System Using Statecharts and AADL. |
ITNG |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Sara Van Langenhove, Albert Hoogewijs |
SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally |
Modularity and Composition in Propositional Statecharts. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Michael Breen |
All Things Considered: Inspecting Statecharts by Model Transformation. |
EUROMICRO-SEAA |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Arastoo Barji, Nils H. Hagge, Bernardo Wagner |
Comparative Study of Using CNet, IEC 61499, and Statecharts for Behavioral Models of Real-time Control Applications. |
ETFA |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Michelle L. Crane, Jürgen Dingel |
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Steffen Helke, Florian Kammüller |
Structure Preserving Data Abstractions for Statecharts. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Youcef Hammal |
A Formal Semantics of UML StateCharts by Means of Timed Petri Nets. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Gergely Pintér, István Majzik |
Modeling and Analysis of Exception Handling by Using UML Statecharts. |
FIDJI |
2004 |
DBLP DOI BibTeX RDF |
model checking, UML, formal methods, Exception handling |
28 | Danny Weyns, Elke Steegmans, Tom Holvoet |
Integrating Free-Flow Architectures with Role Models Based on Statecharts. |
SELMAS |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Doron Drusinsky, Man-tak Shing |
TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions. |
IEEE International Workshop on Rapid System Prototyping |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Stefania Gnesi, Diego Latella, Mieke Massink |
Formal Test-Case Generation for UML Statecharts. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
28 | David N. Jansen, Holger Hermanns, Joost-Pieter Katoen |
A QoS-Oriented Extension of UML Statecharts. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Jan Murray |
Specifying Agent Behaviors with UML Statecharts and StatEdit. |
RoboCup |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Albert C. Esterline |
Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Alexandre David, M. Oliver Möller, Wang Yi 0001 |
Formal Verification of UML Statecharts with Real-Time Extensions. |
FASE |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Zsigmond Pap, István Majzik, András Pataricza |
Checking General Safety Criteria on UML Statecharts. |
SAFECOMP |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Na'aman Kam, Irun R. Cohen, David Harel |
The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts. |
HCC |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski |
Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Rodolfo Castelló, Rym Mili, Ioannis G. Tollis |
An Algorithmic Framework for Visualizing Statecharts. |
GD |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Edwin Erpenbach, Peter Altenbernd |
Worst-case execution times and schedulability analysis of statecharts models. |
ECRTS |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Robert Büssow, Robert Geisler, Marcus Klar |
Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Peter Scholz |
A Refinement Calculus for Statecharts. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Carsta Petersohn, Luis Urbina |
A Timed Semantics for the STATEMATE Implementation of Statecharts. |
FME |
1997 |
DBLP DOI BibTeX RDF |
|
28 | C. R. Nobe, William E. Warner |
Lessons Learned from a Trial Application of Requirements Modeling Using Statecharts. |
ICRE |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Matthias Weber |
Combining Statecharts and Z for the Design of Safety-Critical Control Systems. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini |
Equivalences of Statecharts. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Reinhard von Hanxleden |
SyncCharts in C: a proposal for light-weight, deterministic concurrency. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
SyncCharts, reactive processing, statecharts, multi-threading, model-based design, esterel, synchronous programming |
26 | Reuven Gallant, Meir M. Lehman |
The 2-chart Problem - Contemplating System Behavior in the Aggregate. |
ECBS |
2008 |
DBLP DOI BibTeX RDF |
software/system evolution, cognition, statecharts, diagrams, association, behavioral modeling, visual cues |
26 | R. Venky, Ulka Shrotri, Aniket Kulkarni, Prasad Bokil |
STATEMATE to SCADE model translation. |
ISEC |
2008 |
DBLP DOI BibTeX RDF |
SCADE, activity charts, model, translation, statecharts, transitions, state, reaction, STATEMATE |
26 | Greg Reeve, Steve Reeves |
Logic and refinement for charts. |
ACSC |
2006 |
DBLP BibTeX RDF |
ZC, refinement, logic, statecharts, reactive systems, Z |
26 | Albert C. Esterline, Chafic BouSaba, Abdollah Homaifar, Dan Rodgers |
A framework for learning coordinated behavior. |
GECCO Workshops |
2005 |
DBLP DOI BibTeX RDF |
coordinated behavior, parts/whole statecharts, semantics, XCS |
26 | Juan de Lara, Hans Vangheluwe, Manuel Alfonseca 0001 |
Meta-modelling and graph grammars for multi-paradigm modelling in AToM3. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
Multi-paradigm modelling, Causal block diagrams, AToM3, OOCSMP, Code generation, Model transformation, Meta-modelling, Statecharts, Graph grammars, Multi-formalism |
26 | Lionel C. Briand, Massimiliano Di Penta, Yvan Labiche |
Assessing and Improving State-Based Class Testing: A Series of Experiments. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
testing experimentation, category partition, UML statecharts, State-based testing |
26 | Stephan Flake, Wolfgang Müller 0003 |
Formal semantics of static and temporal state-oriented OCL constraints. |
Softw. Syst. Model. |
2003 |
DBLP DOI BibTeX RDF |
Temporal logics, Object Constraint Language, UML Profile, Real-time constraints, UML Statecharts |
26 | Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino |
The Use of the GXL Approach for Supporting Visual Language Specification and Interchanging. |
HCC |
2002 |
DBLP DOI BibTeX RDF |
Visual Programming Environments Generators, UML, Visual Languages, Statecharts, GXL |
26 | Jan Murray |
Specifying agents with UML in robotic soccer. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
unified modeling language (UML), specification, multiagent systems, statecharts, robotic soccer, RoboCup |
26 | Rosemeire Shibuya, Willie Dresler Leiva, Maria Cristina Ferreira de Oliveira, Paulo César Masiero |
Automatic HTML Generation from Formal Hypermedia Specifications. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
HMBS - Hypermedia Model Based on Statecharts, Automatic Generation from HySCharts to HTML, HySCharts, Highly structured hyperdocuments |
26 | Greg Reeve, Steve Reeves |
mu-Charts and Z: examples and extensions. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
mu-Charts, reactive systems specification, local variables, integer-valued signals, formal specification, specification languages, specification language, statecharts, systems development, Z language, command language |
26 | Marlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson |
Analyzing software architectures with Argus-I. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
architecture-based analysis, architecture-based testing, software architecture, software component, statecharts, ARGUS |
26 | Marcio S. Dias, Marlon E. R. Vieira |
Software Architecture Analysis Based on Statechart Semantics. |
IWSSD |
2000 |
DBLP BibTeX RDF |
architecture-based analysis, architecture-based testing, Software architecture, software component, statecharts |
26 | Andrei Borshchev, Yuri G. Karpov, Victor Roudakov |
Systems modeling, simulation and analysis using COVERS active objects. |
ECBS |
1997 |
DBLP DOI BibTeX RDF |
COVERS active objects, object-oriented principles, reactive system design, object structure diagrams, object interconnection diagrams, data functions, modeling-simulation-analysis cycle, Windows-based graphical environment, visualization, object-oriented programming, C++, code generation, systems analysis, statecharts, systems modeling, semantic model, modeling language, simulation environment, systems simulation, model execution, data objects, behavior description, timed transition systems |
26 | Satoshi Yamane |
The verification technique of real-time systems using probabilities. |
RTCSA |
1996 |
DBLP DOI BibTeX RDF |
performance properties, dense time model, dense time statecharts, automatic verification method, dense time model checking, real-time systems, reliability, formal specification, formal verification, formal verification, temporal logic, probabilities, verification technique |
26 | Ayaz Isazadeh, Glenn H. MacEwen, Andrew J. Malton |
Behavioral patterns for software requirement engineering. |
CASCON |
1995 |
DBLP BibTeX RDF |
software architecture, formal methods, statecharts |
26 | Doron Drusinsky, David Harel |
On the Power of Bounded Concurrency I: Finite Automata. |
J. ACM |
1994 |
DBLP DOI BibTeX RDF |
bounded cooperative concurrency, statecharts, finite automata, nondeterminism, alternation, succinctness, omega-automata |
26 | Oded Maler, Zohar Manna, Amir Pnueli |
From Timed to Hybrid Systems. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
discrete and continuous systems, Real-time, hybrid systems, Statecharts, timed transitions system |
Displaying result #101 - #200 of 686 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|