Search results for "description technique"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Eric Barboni, David Navarre, Philippe A. Palanque, Sandra Basnyat	A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661.	SIES	2007	DBLP DOI BibTeX RDF
2	J. H. Lee, Dan Lee	Description Technique for Component Composition Focusing on Black-Box View.	ICCSA	2006	DBLP DOI BibTeX RDF
2	Hyung-Woo Lee, Sung-Hyun Yun, Jae-Sung Kim, Nam-Ho Oh, Do-Hyung Kim	IPv6/IPsec Conformance Test Management System with Formal Description Technique.	ICCSA	2005	DBLP DOI BibTeX RDF	Architecture. 1, Security, IPv6, Conformance Test, IPSec, Formal Description
2	Marco Winckler, Philippe A. Palanque	StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications.	DSV-IS	2003	DBLP DOI BibTeX RDF
2	Ousmane Koné	Experiment with the Validation of WAP Systems. (PDF / PS)	LCN	2000	DBLP DOI BibTeX RDF	WAP systems validation, French project, WAP session layer, WAP transaction service, interoperability test sequences, specification validation, reference tests, WAP products, interoperation, program verification, specification languages, open systems, conformance testing, sequences, SDL, Wireless Application Protocols, industry, access protocols, formal description technique, mobile terminals, Internet services, Internet telephony, mobile telephony
2	Byung-Ho Park, Shigetomo Kimura, Eun-Seok Lee, Norio Shiratori	An equivalence algorithm to point out errors for basic LOTOS in a distributed system environment and its prototype. (PDF / PS)	ICPADS	1997	DBLP DOI BibTeX RDF	equivalence algorithm, OSI protocol layers, equivalence relation verification, educational support system, distributed system, specification, prototype, specification languages, error detection, error correction, mathematical model, LOTOS, formal description technique
2	Charles Pecheur	Specification and Verification of the Co4 Distributed Knowledge System using LOTOS. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	Co/sub 4/ distributed knowledge system, consensual decision protocol, distributed knowledge base, ISO formal description technique, knowledge consistency, verification, formal specification, formal specification, safety, LOTOS, liveness properties
2	J. Baeg, Y. Fukazawa	A Dialog-Oriented User Interface Generation Mechanism.	APSEC	1996	DBLP DOI BibTeX RDF	dialog-oriented user interface generation mechanism, GUI application development, interaction items selection, low-cost implementation techniques, description technique, default interface, interactive customization, development costs, presentation style, graphical user interfaces, graphical user interface, user interface design, UIMS, user interface management system, design rules, interface builders, user interface specification
2	David H. Pitt, David Freestone	The Derivation of Conformance Tests from LOTOS Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	formal description technique LOTOS, International Standards Organization, basic LOTOS operators, theoretical notion, canonical testers, finite test suites, test suite design, formal specification, protocols, standards, communication protocols, open systems, formal languages, conformance tests, conformance testing, OSI, protocol specifications, test processes
1	David Navarre, Philippe A. Palanque, Jean-François Ladry, Eric Barboni	ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability.	ACM Trans. Comput.-Hum. Interact.	2009	DBLP DOI BibTeX RDF
1	Ardian Kristanto Poernomo, Vivekanand Gopalkrishnan	PUB: A Class Description Technique Based on Partial Coverage of Subspace.	ICDM	2009	DBLP DOI BibTeX RDF
1	Anas Showk, David Szczesny, Shadi Traboulsi, Irv Badr, Maria Elizabeth Gonzalez, Attila Bilgic	Modeling LTE Protocol for Mobile Terminals Using a Formal Description Technique.	SDL Forum	2009	DBLP DOI BibTeX RDF	formal verification, formal modeling, automatic code generation, Service-Oriented applications, formal validation
1	Philippe A. Palanque, Marco Winckler, Jean-François Ladry, Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink	A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems.	EICS	2009	DBLP DOI BibTeX RDF	performance evaluation, human computer interaction, interruptions, formal description techniques, model-based approaches
1	Jean-François Ladry, David Navarre, Philippe A. Palanque	Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces.	ICMI	2009	DBLP DOI BibTeX RDF	fusion engines, interactive software engineering, safety-critical interactive systems, multimodal interfaces, formal description techniques, model-based approaches
1	Philippe A. Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Winckler	Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs.	IHM	2009	DBLP DOI BibTeX RDF	performance evaluation, interruptions, formal description techniques, model-based approaches
1	Philippe A. Palanque, Jean-François Ladry, David Navarre, Eric Barboni	High-Fidelity Prototyping of Interactive Systems Can Be Formal Too.	HCI	2009	DBLP DOI BibTeX RDF	reliability, evolvability, formal description techniques, Model-based approaches, interactive prototyping
1	Yannick Caulier, Salah Bourennane	An Image Content Description Technique for the Inspection of Specular Objects.	EURASIP J. Adv. Sig. Proc.	2008	DBLP DOI BibTeX RDF
1	David Navarre, Philippe A. Palanque, Jean-François Ladry, Sandra Basnyat	An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces.	DSV-IS	2008	DBLP DOI BibTeX RDF	ARINC 661 specification, interactive software engineering, interactive cockpits, formal description techniques, Model-based approaches
1	Changjun Hu, Feng Jiao, Chongchong Zhao	An Architectural Quality Assessment for Domain-Specific Software.	CSSE	2008	DBLP DOI BibTeX RDF
1	Lijun Lun, Hui Xu	An Approach to Software Architecture Testing.	ICYCS	2008	DBLP DOI BibTeX RDF
1	Tammam Tillo, Marco Grangetto, Gabriella Olmo	Redundant Slice Optimal Allocation for H.264 Multiple Description Coding.	IEEE Trans. Circuits Syst. Video Techn.	2008	DBLP DOI BibTeX RDF
1	Damiano Carra, Renato Lo Cigno, Ernst W. Biersack	Stochastic Graph Processes for Performance Evaluation of Content Delivery Applications in Overlay Networks.	IEEE Trans. Parallel Distrib. Syst.	2008	DBLP DOI BibTeX RDF	Stochastic processes, Modeling techniques, Performance attributes
1	Christian Webel, Reinhard Gotzhein, Joachim Nicolay	NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements.	FORTE	2008	DBLP DOI BibTeX RDF
1	David Navarre, Philippe A. Palanque, Sandra Basnyat	A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems.	SAFECOMP	2008	DBLP DOI BibTeX RDF	ARINC 661 specification, interactive software engineering, interactive cockpits, formal description techniques, Model-Based approaches
1	Yasser Ebrahim, Maher Ahmed, Siu-Cheung Chau, Wegdan Abdelsalam	An Efficient Shape Representation and Description Technique.	ICIP	2007	DBLP DOI BibTeX RDF
1	Wissam Mallouli, Jean-Marie Orset, Ana R. Cavalli, Nora Cuppens-Boulahia, Frédéric Cuppens	A formal approach for testing security rules.	SACMAT	2007	DBLP DOI BibTeX RDF	verification and testing, test generation, security policy, SDL, EFSM, OrBAC
1	Ehsan Fazl Ersi, John S. Zelek	Region detection and description for Object Category Recognition.	CRV	2007	DBLP DOI BibTeX RDF
1	Tammam Tillo, Marco Grangetto, Gabriella Olmo	H.264 Multiple Description Coding Based on Redundant Picture Representation.	ICIP	2007	DBLP DOI BibTeX RDF
1	Xu Lei, Yong-Soo Kim, Richard Lai	Modelling and Simulating IPv6 Mobility.	CIT	2007	DBLP DOI BibTeX RDF
1	Paulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat	Designing Consistent Multimedia Documents: The RT-LOTOS Methodology.	FORMATS	2007	DBLP DOI BibTeX RDF
1	Eric Barboni, Stéphane Conversy, David Navarre, Philippe A. Palanque	Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification.	DSV-IS	2006	DBLP DOI BibTeX RDF
1	Jan Hendrik Hausmann	Dynamic META modeling: a semantics description technique for visual modeling languages.		2005	RDF
1	Lei Xu, Baowen Xu, Yanxiang He, Hanwu Chen, Qiaoming Zhu	Research on the Analysis and Measurement for Testing Results of Web Applications.	CW	2005	DBLP DOI BibTeX RDF	Testing Result, Analysis and Comparison, Web Application, Web Measurement
1	Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat	From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform.	SEFM	2005	DBLP DOI BibTeX RDF
1	S. Pavan, G. Sridhar, V. Sridhar	Description Selection Scheme for Intermediate Frame Based Multiple Description Video Streaming.	ICIAR	2005	DBLP DOI BibTeX RDF
1	David Navarre, Philippe A. Palanque, Rémi Bastide, Amélie Schyn, Marco Winckler, Luciana Porcher Nedel, Carla Maria Dal Sasso Freitas	A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications.	INTERACT	2005	DBLP DOI BibTeX RDF
1	David Navarre, Pierre Dragicevic, Philippe A. Palanque, Rémi Bastide, Amélie Schyn	Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems.	EHCI/DS-VIS	2004	DBLP DOI BibTeX RDF	Interactive Systems Engineering, Post-WIMP, Formal methods, Prototyping, Multimodal interaction, CASE tools, formal description techniques
1	Ludovic Apvrille, Pierre de Saqui-Sannes, Patrick Sénac, Christophe Lohr	Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	real-time UML, dynamic reconfiguration, satellite, formal validation, RT-LOTOS
1	Marcin Czenko, Jean-Luc Raffy	JEstelle novel approach to the distributed Java systems specification and development.	PPPJ	2003	DBLP DOI BibTeX RDF	Java, distributed systems, software engineering, formal description techniques, Estelle
1	Winfried Dulz, Fenhua Zhen	MaTeLo - Statistical Usage Testing by Annotated Sequence Diagrams, Markov Chains and TTCN-3.	QSIC	2003	DBLP DOI BibTeX RDF
1	Jeremy Pickens, Tim Crawford	Harmonic models for polyphonic music retrieval.	CIKM	2002	DBLP DOI BibTeX RDF
1	Francisco Isidro Massetto, Wanderley Lopes de Souza, Sérgio Donizetti Zorzo	Simulator for E-LOTOS Specifications.	Annual Simulation Symposium	2002	DBLP DOI BibTeX RDF	E-LOTOS, Simulation, Multimedia, Formal Specification
1	Jun Shen, Yun Yang, Junzhou Luo	A Petri Net Model for Session Services.	EDCIS	2002	DBLP DOI BibTeX RDF	modeling, Petri nets, protocols, Computer networks, protocol engineering
1	Frank Rößler, Birgit Geppert, Reinhard Gotzhein	CoSDL: An Experimental Language for Collaboration Specification.	SAM	2002	DBLP DOI BibTeX RDF
1	Paulo Nazareno Maia Sampaio, Christophe Lohr, Jean-Pierre Courtiat	An integrated environment for the presentation of consistent SMIL 2.0 documents.	ACM Symposium on Document Engineering	2001	DBLP DOI BibTeX RDF	SMIL 2.0, interactive multimedia documents, formal methods, LOTOS, temporal consistency, RT-LOTOS
1	Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat	Scheduling and Presenting Interactive Multimedia Documents.	ICME	2001	DBLP DOI BibTeX RDF
1	R. Ben Abbou, Amine Benkiran, Jean-Pierre Courtiat	Formal Validation of a Multicast Transport Protocol.	ISCC	2001	DBLP DOI BibTeX RDF	SPRM protocol, Reliability, Formal methods, Multicast, RTL, LOTOS, RT-LOTOS, Protocol validation
1	Marcela Ridao, Jorge Horacio Doorn, Julio Cesar Sampaio do Prado Leite	Domain Independent Regularities in Scenarios. (PDF / PS)	RE	2001	DBLP DOI BibTeX RDF
1	Ludovic Apvrille, Pierre de Saqui-Sannes, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat	A New UML Profile for Real-Time System Formal Design and Validation.	UML	2001	DBLP DOI BibTeX RDF
1	José J. Pazos Arias, Jorge García Duque	SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study.	Formal Asp. Comput.	2001	DBLP DOI BibTeX RDF	Incremental specification, Unspecification, Formal verification, Temporal logic, Formal description techniques, Functional requirements
1	Jean-Pierre Courtiat, C. A. S. Santos, Christophe Lohr, B. Outtaj	Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique.	Computer Communications	2000	DBLP DOI BibTeX RDF
1	Andreas Rausch	Software evolution in componentware using requirements/assurances contracts.	ICSE	2000	DBLP DOI BibTeX RDF	description techniques, software architecture, formal methods, object-orientation, software evolution, contracts, componentware
1	Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat	A formal approach for the presentation of interactive multimedia documents.	ACM Multimedia	2000	DBLP DOI BibTeX RDF	multimedia and hypermedia documents, formal methods, LOTOS, Lotos, RT-LOTOS
1	Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre	Formal specification of CORBA services: experience and lessons learned.	OOPSLA	2000	DBLP DOI BibTeX RDF	distributed systems, CORBA, CORBA, high-level Petri nets, behavioral specification
1	Motoshi Saeki	Behavioral specification of GOF design patterns with LOTOS.	APSEC	2000	DBLP DOI BibTeX RDF	gang-of-four design patterns, LOTOS simulator, composite and command patterns, formal specification, object-oriented programming, specification languages, object-oriented methods, software patterns, behavioral specification
1	Andreas Rausch	Software Evolution in Componentware-A Practical Approach.	Australian Software Engineering Conference	2000	DBLP DOI BibTeX RDF	Description Techniques, Software Engineering, Software Evolution, Process Model, Componentware
1	Andreas Rausch	A Proposal for Supporting Software Evolution in Componentware. (PDF / PS)	CSMR	2000	DBLP DOI BibTeX RDF
1	Radu Grosu, Ingolf Krüger, Thomas Stauner	Hybrid Sequence Charts.	ISORC	2000	DBLP DOI BibTeX RDF	sequence charts, formal methods, specification, requirements engineering, hybrid systems
1	Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz	On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
1	Wolfgang Reisig	Towards an ASM Thesis for Unconventional Algorithms.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
1	David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy	Structuring Interactive Systems Specifications for Executability and Prototypability.	DSV-IS	2000	DBLP DOI BibTeX RDF
1	Julio Cesar Sampaio do Prado Leite, Graciela D. S. Hadad, Jorge Horacio Doorn, Gladys N. Kaplan	A Scenario Construction Process.	Requir. Eng.	2000	DBLP DOI BibTeX RDF	Organisational context, Requirements elicitation, Stakeholders, Scenario modelling, Scenario management
1	Thomas Stauner, Klaus Schneider, Michaela Huhn	Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR.	FBT	1999	DBLP BibTeX RDF
1	R. M. Sousa, Goran D. Putnik	Formal description technique SDL for manufacturing systems specification and description.	APMS	1999	DBLP BibTeX RDF
1	Yoonsik Cheon, Heung-Nam Kim	Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks.	APSEC	1999	DBLP DOI BibTeX RDF	sequence operator, specification language, Smalltalk, formal semantics, block, Program specification
1	P. H. A. van der Putten, Jeroen Voeten, Marc Geilen, M. P. J. Stevens	System Level Models for Real-Time Communication.	EUROMICRO	1999	DBLP DOI BibTeX RDF
1	Raimund L. Feldmann, Birgit Geppert, Frank Rößler	An Integrating Approach for Developing Distributed Software Systems -- Combining Formal Methods, Software Reuse, and the Experience Base.	ICECCS	1999	DBLP DOI BibTeX RDF
1	Gábor Hosszú, Ferenc Kovács, L. Varga	Design procedure based on VHDL language transformations.	ISCAS	1999	DBLP DOI BibTeX RDF
1	Mohamed Ashour, Ferhat Khendek, Tho Le-Ngoc	Formal Description of Real-time Systems using SDL.	RTCSA	1999	DBLP DOI BibTeX RDF
1	Tony Tsang, Richard Lai	Verification Results for a Multimedia Protocol.	ASIAN	1999	DBLP DOI BibTeX RDF
1	Justin Templemore-Finlayson, Pieter S. Kritzinger, Jean-Luc Raffy, Stanislaw Budkowski	A graphical representation and prototype editor for the Formal Description Technique Estelle.	FORTE	1998	DBLP BibTeX RDF
1	Veronika Thurner	A Formally Founded Description Technique for Business Processes. (PDF / PS)	PDSE	1998	DBLP DOI BibTeX RDF
1	Anthony Chung, Deepinder P. Sidhu	A formal description technique and an environment for protocol engineering.	Computers and Their Applications	1998	DBLP BibTeX RDF
1	Henning Dierks, Josef Tapken	Tool-supported hierarchical design of distributed real-time systems.	ECRTS	1998	DBLP DOI BibTeX RDF
1	Wanderley Lopes de Souza, Paulo Nazareno Maia Sampaio, Jean-Marie Farines, Roberto Milton Scheffel, Maria Janilce B. Almeida, Luciano Paschoal Gaspary, Lisandro Zambenedetti Granville, Roberto Willrich, Murilo S. de Camargo, Marcelo Domingos	Design of Distributed Multimedia Applications (DAMD).	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Mario Marrero, Álvaro Suárez, Elena Carrión, Elsa M. Macías	SGLOT: A Visual Tool for Structural LOTOS Specifications.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Henning Dierks, Michael Schenke	A Unifying Framework for Correct Program Construction.	MPC	1998	DBLP BibTeX RDF
1	Carla Capellmann, Søren Christensen, Uwe Herzog	Visualising the Behaviour of Intelligent Networks.	Services and Visualization: Towards User-Friendly Design	1998	DBLP DOI BibTeX RDF
1	Hyunsook Do, Seongyong Bae, Sangki Kim	INAP Protocol Test Suite Verification Method Using the IUT Simulator for AIN System Conformance Testing.	Services and Visualization: Towards User-Friendly Design	1998	DBLP DOI BibTeX RDF
1	James H. Andrews, Nancy A. Day, Jeffrey J. Joyce	Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network.	FORTE	1997	DBLP BibTeX RDF
1	Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt	Using Extended Event Traces to Describe Communication in Software Architectures.	APSEC	1997	DBLP DOI BibTeX RDF	Graphical Description Technique, Software Architecture, Component Interaction
1	Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung	Formal verification of the correctness in hybrid expert systems.	KES	1997	DBLP DOI BibTeX RDF
1	Carlos Carreras, Juan Carlos López, María Luisa López Vallejo, Luis Sánchez, Carlos Delgado Kloos, Natividad Martínez Madrid	A Co-Design Methodology Based on Formal Specification and High-level Estimation.	CODES	1996	DBLP DOI BibTeX RDF	formal specification, partitioning, estimation, Co-design, LOTOS
1	José A. Gallud, José M. García	The Specification of a Generic Multicomputer Using Lotos.	SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	Lotos
1	Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Andriantsiferana	Specification and Validation of Multimedia Protocols using RT-LOTOS.	FTDCS	1995	DBLP DOI BibTeX RDF
1	Alexander Schill, B. Bellmann, Wito Böhmak, Sascha Kümmel	Infrastructure support for cooperative mobile environments. (PDF / PS)	WETICE	1995	DBLP DOI BibTeX RDF	cooperative mobile environments, infrastructure support, distributed mobile computing, software support architecture, station software infrastructure, resource access management, dynamic mobile environments, behavioural aspects, OSF Distributed Computing Environment, Microsoft RPC, distributed systems, mobile computing, wireless LAN, operating systems (computers), network operating systems, remote procedure calls, remote procedure call, communication infrastructure
1	Howard Bowman, Lynne Blair, Gordon S. Blair, Amanda G. Chetwynd	A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation.	COST 237 Workshop	1994	DBLP DOI BibTeX RDF
1	Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi	Software Process Description Using LOTOS and Its Enaction.	ICSE	1994	DBLP BibTeX RDF	distributed system, software process, LOTOS, software development environment, formal description technique
1	Carlos Delgado Kloos, T. de Miguel Moro, T. Robles Valladares, G. Rabay Filho, Andrés Marín López	VHDL generation from a timed extension of the formal description technique LOTOS within the FORMAT project.	Microprocessing and Microprogramming	1993	DBLP DOI BibTeX RDF
1	Mikael Hedlund	The Integration of LOTOS with an Object Oriented Development Method.	FME	1993	DBLP DOI BibTeX RDF
1	Carron Kirkwood	Automating (Specififation = Implementation) Using Equational Reasoning and LOTOS.	TAPSOFT	1993	DBLP DOI BibTeX RDF
1	Nathalie Rico, Gregor von Bochmann, Omar Cherkaoui	Model-Checking for Real-Time Systems Specified in Lotos.	CAV	1992	DBLP DOI BibTeX RDF
1	Colin Boyd	A Formal Framework for Authentication.	ESORICS	1992	DBLP DOI BibTeX RDF	security standards, formal models, Authentication protocols
1	Roelof Jan Velthuys, Lothar F. Mackert, Jürgen M. Schneider, Georg Zörntlein	Structuring Mechanisms for the Formal Description Technique CRS.	PSTV	1991	DBLP BibTeX RDF
1	Samuel C. Chamberlain, Paul D. Amer	Broadcast Channels in Estelle.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	ISO 9074 International Standard, specification capabilities, formal specifications, formal specification, protocols, standards, synchronisation, formal semantics, syntax, formal description technique, notation, Estelle, broadcast channels, synchronization mechanism
1	Jean-Pierre Courtiat, Michel Diaz	Time in State Based Formal Description Techniques for Distributed Systems.	REX Workshop	1991	DBLP DOI BibTeX RDF	FDTs Formal Description Techniques, Manipulating Explicit Time values, Integrating Time Petri nets and Estelle, Distributed Systems, Verification, Specification, Time Petri nets, Estelle
1	Günter Wöhlke, Th. Braun	An action-based process model for dextrous multifinger hands.	Journal of Intelligent and Robotic Systems	1991	DBLP DOI BibTeX RDF	constraint net, object-oriented programming, process model, System simulation, propagation algorithm
1	Richard Lai, Ken R. Parker, Tharam S. Dillon	On Using Protean To Verify ISO FTAM Protocol.	CAV	1990	DBLP DOI BibTeX RDF
1	Ed Brinksma	Constraint-Oriented Specification in a Constructive Formal Description Technique.	REX Workshop	1989	DBLP DOI BibTeX RDF	constraint-oriented specification, multi-way synchronization, specification styles, synchronization by association, formal specification, refinement, process algebra, LOTOS, parallel composition, conjunction
1	Juan Quemada, Santiago Pavón, Angel Fernández	State Exploration by Transformation with LOLA.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF