Search results for "reactive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
93	Noriaki Yoshiura	Decision Procedures for Several Properties of Reactive System Specifications.	ISSS	2003	DBLP DOI BibTeX RDF	Specification Description, Temporal Logic, Reactive System
84	Frédéric Boussinot, Laurent Hazard	Reactive scripts.	RTCSA	1996	DBLP DOI BibTeX RDF	broadcast event-driven interpreter, responsive systems, reactive script interpretor, complex behaviors, current interpretor reaction, associated methods, nonblocking order, method execution, SL synchronous language, ROM Reactive Object Model, Reactive-C language, parallel programming, objects, real time programming
81	Bouchaib Bounabat, Rahal Romadi, Salah Labhalla	Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents.	PRIMA	1999	DBLP DOI BibTeX RDF	Reactive agent, verification, formal methods, specification, Reactive systems
73	Martin Adelantado, Frédéric Boniol, D. Pinault	A simulation environment for designing distributed reactive/deliberative time-constrained applications.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	distributed reactive/deliberative time-constrained applications design, deliberative systems, terminal state, logical time notion, man-machine interface handlers, time critical applications, Sun4 IPX workstation, X-Window graphical interface, French Ministry of Defense, simulator, real-time systems, graphical user interfaces, distributed processing, requirements, programming, programming environments, timing, computer games, program compilers, digital simulation, reactive systems, timing constraints, distributed real-time systems, simulation environment, application generators, reactive programming, Unix operating system, initial state
67	Partha S. Roop, Zoran A. Salcic, M. W. Sajeewa Dayaratne	Towards direct execution of esterel programs on reactive processors.	EMSOFT	2004	DBLP DOI BibTeX RDF	ARE-Bench Auckland reactive benchmark, direct ESTEREL execution, reactive processor architectures
65	Peera Liewlom, Thanawin Rakthanmanon, Kitsana Waiyamai	Prediction of Enzyme Class by Using Reactive Motifs Generated from Binding and Catalytic Sites.	ADMA	2007	DBLP DOI BibTeX RDF	mutation control, sequence motif, reactive motif, enzyme function prediction, catalytic site, amino acid substitution group, binding site
64	Noriaki Yoshiura	Finding the Causes of Unrealizability of Reactive System Formal Specifications.	SEFM	2004	DBLP DOI BibTeX RDF
62	D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon	An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems.	RTCSA	2000	DBLP DOI BibTeX RDF	visual description techniques, real time reactive systems development, unified notation, user level modeling, implementation level, object oriented notation, Timed Reactive Object Model, TROM, semantic basis, mechanical translations, real-time systems, UML, object-oriented programming, program verification, specification languages, SDL, formal description techniques, program interpreters, abstraction levels, real time reactive systems, large scale applications, design analysis, object based systems
62	Dilza Szwarcman, Bruno Feijó, Mónica Costa	A Framework for Networked Reactive Character.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	networked reactive characters, distributed reactive characters, innovative concepts, shared state management, behavioral accuracy, visual soundness, open architecture toolkit, Bamboo, reactive environments, smooth animations, virtual reality, computer network, autonomy, clones, dead reckoning
56	Riccardo Pucella	Reactive Programming in Standard ML.	ICCL	1998	DBLP DOI BibTeX RDF	Reactive systems, Standard ML, Reactive programming
54	Gerhard Gubisch, Gerald Steinbauer, Martin Weiglhofer, Franz Wotawa	A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots.	IEA/AIE	2008	DBLP DOI BibTeX RDF	teleo-reactive programs, parallel actions, teleo-reactive program compilation, autonomous agents, control architecture
53	Rik Eshuis, Juliane Dehnert	Reactive Petri Nets for Workflow Modeling.	ICATPN	2003	DBLP DOI BibTeX RDF
51	Günter Schmidt	How to Apply fuzzy Logic to Reactive Production Scheduling.	Knowledge-Based Reactive Scheduling	1993	DBLP BibTeX RDF
51	Brian J. Garner, G. J. Ridley	Application of Neural Network Process Models in Reactive Scheduling.	Knowledge-Based Reactive Scheduling	1993	DBLP BibTeX RDF
51	Migar M. C. Tam, Doris H. L. Choi, Walter W. C. Chung, T. C. Edwin Cheng, P. P. K. Chiu	A Predictive and Reactive Scheduling Tool Kit for Repetitive Manufacturing.	Knowledge-Based Reactive Scheduling	1993	DBLP BibTeX RDF
51	Stephen F. Smith, Ora Lassila	Configurable Systems for Reactive Production Management.	Knowledge-Based Reactive Scheduling	1993	DBLP BibTeX RDF
51	Klaus Fischer 0001	Knowledge-based Reactive Scheduling in a Flexible Manufacturing System.	Knowledge-Based Reactive Scheduling	1993	DBLP BibTeX RDF
51	Elizabeth Szelke, G. Márkus	Reactive Scheduling - An Intelligent Supervisor Function.	Knowledge-Based Reactive Scheduling	1993	DBLP BibTeX RDF
51	Jürgen Dorn, Roger Kerr, Gabi Thalhammer	Reactive Scheduling in a Fuzzy-Temporal Framework.	Knowledge-Based Reactive Scheduling	1993	DBLP BibTeX RDF
50	A. P. Sakis Meliopoulos, Murad A. Asad, George J. Cokkinides	Issues for Reactive Power and Voltage Control Pricing in a Deregulated Environment.	HICSS	1999	DBLP DOI BibTeX RDF	Reactive Power, Induction Motor Loads, Voltage Support, Reactive Power Pricing
49	Neil Sculthorpe, Henrik Nilsson	Safe functional reactive programming through dependent types.	ICFP	2009	DBLP DOI BibTeX RDF	DSELS, FRP, synchronous data-flow, functional programming, domain-specific languages, dependent types, reactive programming
49	Robert J. Hall 0001	Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design.	FMSP	2000	DBLP DOI BibTeX RDF	Formal Methods, Reactive Systems, Electronic Mail
48	Jamie D. Weber, Thomas J. Overbye, Peter W. Sauer, Christopher L. DeMarco	A Simulation Based Approach to Pricing Reactive Power.	HICSS (3)	1998	DBLP DOI BibTeX RDF
48	Jean-Pierre Talpin	Reactive Types.	TAPSOFT	1997	DBLP DOI BibTeX RDF
48	Beng-Hong Lim, Anant Agarwal	Reactive Synchronization Algorithms for Multiprocessors.	ASPLOS	1994	DBLP DOI BibTeX RDF
45	Dov M. Gabbay, Sérgio Marcelino	Modal Logics of Reactive Frames.	Stud Logica	2009	DBLP DOI BibTeX RDF	reactive graphs, reactive frames, (bi)modal logic, Kripke semantics
43	Wenjin Dai, Qingsheng Lin, Yongtao Dai	New Research on Harmonics and Reactive Currents Detecting and Its Suppression with ANN in Single-Phase Circuit.	ISICA	2008	DBLP DOI BibTeX RDF	reactive current, SAPF, simulation, ANN, detecting, harmonic
43	Ronald A. Metoyer, Jessica K. Hodgins	Reactive pedestrian path following from examples.	Vis. Comput.	2004	DBLP DOI BibTeX RDF	Pedestrian simulation, Animation, Reactive control
43	Marc Geilen, Twan Basten	Reactive process networks.	EMSOFT	2004	DBLP DOI BibTeX RDF	signal processing, multiprocessor systems, operational semantics, reactive systems, process networks, media processing
43	Dana N. Xu, Siau-Cheng Khoo	Compiling real time functional reactive programming.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	partial evaluation, reactive system, tupling
42	Elizabeth Szelke, Roger M. Kerr (eds.)	Knowledge-Based Reactive Scheduling, Proceedings of the IFIP TC5/WG5.7 International Workshop on Knowledge-Based Reactive Scheduling, Athens, Greece, 1 October, 1993	Knowledge-Based Reactive Scheduling	1994	DBLP BibTeX RDF
42	Prasad Raja, Luis Ruiz, Jean Hernandez, Guevara Noubir, Marc Riese	Scheduling for Absolute Temporal Consistency.	Knowledge-Based Reactive Scheduling	1993	DBLP BibTeX RDF
42	Katia P. Sycara, Kazuo Miyashita	Adaptive Schedule Repair.	Knowledge-Based Reactive Scheduling	1993	DBLP BibTeX RDF
42	Paddy Jordan, Jim Browne, Mary Browne	Production Activity Control for Small Manufacturing Enterprises.	Knowledge-Based Reactive Scheduling	1993	DBLP BibTeX RDF
42	Roger M. Kerr, Elizabeth Szelke	Open Discussion - A Summary.	Knowledge-Based Reactive Scheduling	1993	DBLP BibTeX RDF
42	Hubert Mulkens	Revisiting the Johnson Algorithm for Flow-Shop Scheduling with Genetic Algorithms.	Knowledge-Based Reactive Scheduling	1993	DBLP BibTeX RDF
42	Hisashi Sugiura, Herbert Janssen, Christian Goerick	Instant prediction for reactive motions with planning.	IROS	2009	DBLP DOI BibTeX RDF
42	Bruno Berstel, Philippe Bonnard, François Bry, Michael Eckert, Paula-Lavinia Patranjan	Reactive Rules on the Web.	Reasoning Web	2007	DBLP DOI BibTeX RDF
42	Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng	Security in Persistently Reactive Systems.	EUC Workshops	2005	DBLP DOI BibTeX RDF
42	Simon Gauvin, Trevor J. Smedley	Concrete Programming with Reactive Objects.	HCC	2002	DBLP DOI BibTeX RDF
42	Christoph Schaffer, Herbert Praehofer	On Requirements for a CAST-Tool for Complex, Reactive Systems Analysis, Design and Evaluation.	EUROCAST	1993	DBLP DOI BibTeX RDF
42	Diana F. Gordon	Improving the Comprehensibility, Accuracy, and Generality of Reactive Plans.	ISMIS	1991	DBLP DOI BibTeX RDF
40	Xin Li 0020, Marian Boldt, Reinhard von Hanxleden	Mapping esterel onto a multi-threaded embedded processor.	ASPLOS	2006	DBLP DOI BibTeX RDF	low-power processing, concurrency, reactive systems, multi-threading, esterel
39	Kenny Qili Zhu, Kar-Loon Ong	A reactive method for real time dynamic vehicle routing problem.	ICTAI	2000	DBLP DOI BibTeX RDF	real time dynamic vehicle routing problem, concurrent agent-based reactive vehicle routing system, generic concurrent infrastructure, incremental local optimization heuristic, reactive method, real-time systems, optimisation, transportation, heuristic programming, vehicles
39	Stefan D. Bruda	Preorder Relations.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
38	Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic	Reactive noninterference.	CCS	2009	DBLP DOI BibTeX RDF	web applications, information flow, web browsers, noninterference, reactive programming
38	Xuexia Zhang, Weirong Chen	Multi-objective Oriented Search Algorithm for Multi-objective Reactive Power Optimization.	ICIC (2)	2009	DBLP DOI BibTeX RDF	MOOSA, multi-objective reactive power optimization, Pareto front, Pareto-optimal solutions
38	Jonathan Evans, Pedro Patrón, Ben Smith, David M. Lane	Design and evaluation of a reactive and deliberative collision avoidance and escape architecture for autonomous robots.	Auton. Robots	2008	DBLP DOI BibTeX RDF	Deliberative, Planning, Obstacle avoidance, Reactive, Autonomous underwater vehicle, Unstructured environments, Robot architecture
38	Kitsana Waiyamai, Peera Liewlom, Thanapat Kangkachit, Thanawin Rakthanmanon	Concept Lattice-Based Mutation Control for Reactive Motifs Discovery.	PAKDD	2008	DBLP DOI BibTeX RDF	mutation control, sequence motif, reactive motif, enzyme function prediction, catalytic site, concept lattice, binding site
38	Stijn Van de Vonder, Erik Demeulemeester, Willy Herroelen	A classification of predictive-reactive project scheduling procedures.	J. Sched.	2007	DBLP DOI BibTeX RDF	Proactive-reactive project scheduling, Time uncertainty, Timely project completion, Stability
38	Edward Robinson, Timothy Ellis, Alastair Channon	Neuroevolution of Agents Capable of Reactive and Deliberative Behaviours in Novel and Dynamic Environments.	ECAL	2007	DBLP DOI BibTeX RDF	Reactive and Deliberative Systems, Novel and Dynamic Environments, Neural Networks, Artificial Life, Incremental Evolution
38	Nabendu Chaki, Rituparna Chaki	ORRP: Optimal Reactive Routing Protocol for Mobile Ad-Hoc Networks.	CISIM	2007	DBLP DOI BibTeX RDF	Loop-free routing, Mobile ad hoc network, Routing protocol, Shortest Path algorithms, Reactive Routing
38	Robert de Simone, Charles André	Towards a "Synchronous Reactive" UML profile?	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	UML, Embedded systems, Real-time, Synchronous, Reactive
38	Louis Mandel, Marc Pouzet	ReactiveML: a reactive extension to ML.	PPDP	2005	DBLP DOI BibTeX RDF	semantics, functional programming, reactive programming
38	Kaiyu Wan, Vasu S. Alagar, Joey Paquet	Real Time Reactive Programming in Lucid Enriched with Contexts.	ICTAC	2004	DBLP DOI BibTeX RDF	Real-time reactive programming, contexts, formal verification, intensional programming
38	Josep Carmona 0001, Jordi Cortadella	Input/Output Compatibility of Reactive Systems.	FMCAD	2002	DBLP DOI BibTeX RDF	Input/Output compatibility, Synchronous product, Petri nets, Reactive systems, Conformation, Observational equivalence, Trace theory
38	Basant Rajan, R. K. Shyamasundar	Multiclock Esterel: A Reactive Framework for Asynchronous Design.	IPDPS	2000	DBLP DOI BibTeX RDF	VHDL, Reactive Systems, Asynchronous System, Synchrony, Esterel
38	Vangalur S. Alagar, Olga Ormandjieva, Mao Zheng	Specification-Based Testing for Real-Time Reactive Systems.	TOOLS (34)	2000	DBLP DOI BibTeX RDF	complexity, information theory, software measurement, Real-time reactive systems
38	Olivier F. Roux, Vlad Rusu, Franck Cassez	Hybrid Verifications of Reactive Programs.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Model checking, Real time, Hybrid system, Asynchronism, Reactive system
38	Santiago Grijalva, Peter W. Sauer	Reactive Power Considerations in Linear ATC Computation.	HICSS	1999	DBLP DOI BibTeX RDF	Linear ATC, distribution factors, reactive power
38	Berthier A. Ribeiro-Neto, Guilherme T. de Assis	Reactive Ranking for Cooperative Databases.	SCCC	1997	DBLP DOI BibTeX RDF	reactive ranking, cooperative databases, vague query, AutoClass II system, Bayesian probabilistic classification engine, Web browser interface, query tasks, information retrieval, query processing, relevance feedback, interactive mechanism
38	Frédéric Boniol, Martin Adelantado	Programming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling.	WDAG	1993	DBLP DOI BibTeX RDF	Synchronism and Asynchronism, Real-time, Reactive systems, Semantics of Concurrency
38	Ralph-Johan Back	Refinement Calculus, Part II: Parallel and Reactive Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	hiding, simulation, parallel programs, fairness, weakest preconditions, Stepwise refinement, reactive programs, action systems, parallel composition, total correctness, refinement mappings, stuttering
37	Jonathan Edwards	Coherent reaction.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	bidirectional functions, synchronous reactive programming, trees, interactive systems, reactive systems, functional reactive programming
37	David Harel, Yaki Setty	Generic Reactive Animation: Realistic Modeling of Complex Natural Systems.	FMSB	2008	DBLP DOI BibTeX RDF
37	Dov M. Gabbay	Introducing Reactive Kripke Semantics and Arc Accessibility.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
37	Xiangpeng Jing, Dipankar Raychaudhuri	Spectrum Co-existence of IEEE 802.11b and 802.16a Networks Using Reactive and Proactive Etiquette Policies.	Mob. Networks Appl.	2006	DBLP DOI BibTeX RDF	Spectrum etiquette protocol, CSCC, Co-existence, Cognitive radio, Dynamic spectrum access
37	Mohammed Berrada, Bouchaib Bounabat, Mostafa Harti	Qualitative Verification of Multi-Agents Reactive Decisional System Using Business Process Modeling Notation.	IAT	2006	DBLP DOI BibTeX RDF
37	Lei Yang 0012, Morteza Biglari-Abhari, Zoran A. Salcic	A Power-Efficient Processor Core for Reactive Embedded Applications.	Asia-Pacific Computer Systems Architecture Conference	2005	DBLP DOI BibTeX RDF
37	Phuong Hoai Ha, Marina Papatriantafilou, Philippas Tsigas	Self-tuning Reactive Distributed Trees for Counting and Balancing.	OPODIS	2004	DBLP DOI BibTeX RDF
37	Mariano Cilia, Michael Haupt, Mira Mezini, Alejandro P. Buchmann	The Convergence of AOP and Active Databases: Towards Reactive Middleware.	GPCE	2003	DBLP DOI BibTeX RDF
35	Sergio Rampino, Dimitris Skouteris, Antonio Laganà, Ernesto Garcia	A Comparison of the Isotope Effect for the N + N2 Reaction Calculated on Two Potential Energy Surfaces.	ICCSA (1)	2008	DBLP DOI BibTeX RDF	reactive scattering, quantum dynamics and kinetics, nitrogen exchange reaction, reactive resonances, isotope effect
34	Tomas Petricek 0001, Don Syme	Collecting hollywood's garbage: avoiding space-leaks in composite events.	ISMM	2010	DBLP DOI BibTeX RDF	inversion of control, garbage collection, duality, event-driven, reactive programming, combinator libraries
34	Xin Li 0020, Jan Lukoschus, Marian Boldt, Michael Harder, Reinhard von Hanxleden	An Esterel processor with full preemption support and its worst case reaction time analysis.	CASES	2005	DBLP DOI BibTeX RDF	reaction time analysis, reactive processing, WCET, synchronous languages, Esterel
34	Karl R. P. H. Leung	Extending Statecharts with ad lib and multi-thread features.	APSEC	2000	DBLP DOI BibTeX RDF	ad lib features, multithread features, dynamic reactive systems, software engineering, rules, diagrams, multi-threading, information resources, Web navigation, state diagram
34	Joakim Eriksson	Real-Time and Active Databases: A Survey.	ARTDB	1997	DBLP DOI BibTeX RDF	reactive mechanisms, real-time systems, predictability, Active databases, timeliness, real-time databases
33	Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky (eds.)	From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
33	Lenore D. Zuck, Kenneth L. McMillan	Invisible Invariants Are Neither.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
33	James Glimm, Hyun-Kyung Lim, Martin J. Bishop 0001, Soojin Kim	From Automated MRI Scan to Finite Elements.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
33	Emanuela Merelli, Anita Wasilewska	Topological Interpretation of Interactive Computation.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
33	Alexios Lekidis, Panagiotis Katsaros	Model-Based Energy Characterization of IoT System Design Aspects.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
33	Rance Cleaveland	Scott Smolka and Me.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
33	Abouzar Kaboudian, Hector Augusto Velasco-Perez, Shahriar Iravanian, Yohannes Shiferaw, Elizabeth M. Cherry, Flavio H. Fenton	A Comprehensive Comparison of GPU Implementations of Cardiac Electrophysiology Models.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
33	Gerard J. Holzmann	Formalizing Requirements Is \Diamond \Box Hard.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
33	Milan Ceska 0002, Christian Dehnert, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen	Model Repair Revamped - - On the Automated Synthesis of Markov Chains -.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
33	Alessandro Maggi, Rocco De Nicola, Joseph Sifakis	A Logic-Inspired Approach to Reconfigurable System Modelling.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
33	Teng Zhang, Ramneet Kaur, Insup Lee 0001, Oleg Sokolsky	Runtime Verification of Parametric Properties Using SMEDL.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
33	Doron Peled, Simon Iosti, Saddek Bensalem	Control Synthesis Through Deep Learning.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
33	Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott D. Stoller	Conformal Predictions for Hybrid System State Classification.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
33	Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen	The Cost of Monitoring Alone.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
33	Klaus Havelund, Natarajan Shankar	A Refinement Proof for a Garbage Collector.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
33	Abhishek Murthy, Himel Das, Md. Ariful Islam	Robustness of Neural Networks to Parameter Quantization.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
33	Bernhard Steffen, Marc Jasper	Generating Hard Benchmark Problems for Weak Bisimulation.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
33	Manfred Broy, Bengt Jonsson 0001, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)	Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]	Model-Based Testing of Reactive Systems	2005	DBLP DOI BibTeX RDF
33	George Din	TTCN-3.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
33	Zhen Ru Dai	UML 2.0 Testing Profile.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
33	Machiel van der Bijl, Fabien Peureux	I/O-automata Based Testing.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
33	Kirsten Berkenkötter, Raimund Kirner	Real-Time and Hybrid Systems Testing.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
33	Henrik Björklund	State Verification.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF
33		Part V. Standardized Test Notation and Execution Architecture.	Model-Based Testing of Reactive Systems	2004	DBLP DOI BibTeX RDF