Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
30 | Carron Kirkwood |
Automating (Specififation = Implementation) Using Equational Reasoning and LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings, pp. 544-558, 1993, Springer, 3-540-56610-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
30 | Tian Zhang 0001, Frédéric Jouault, Jean Bézivin, Xuandong Li |
An MDE-based method for bridging different design notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 4(3), pp. 203-213, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML, Formal methods, LOTOS, MDE |
30 | Nelson Souto Rosa, Paulo Roberto Freire Cunha |
A formal framework for middleware behavioural specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 32(2), pp. 1-7, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
middleware, formal specification, framework, LOTOS |
30 | Kenneth J. Turner |
Test generation for radiotherapy accelerators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 7(4), pp. 361-375, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Lotos (Language Of Temporal Ordering Specification), Test generation, Accelerator, Radiotherapy |
30 | Marius C. Bujorianu, Eerke A. Boiten |
Towards Correspondence Carrying Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings, pp. 57-71, 2004, Springer, 3-540-22381-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UML, Z, viewpoints, LOTOS, category theory, partial specification |
30 | Christophe Lohr, Jean-Pierre Courtiat |
From the Specification to the Scheduling of Time-Dependent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings, pp. 129-146, 2002, Springer, 3-540-44165-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Minimal Reachability Graph, Time Labeled Scheduling Automata, Process Algebra, Timed Automata, Temporal Consistency, RT-Lotos |
30 | Hubert Garavel, César Viho, Massimo Zendri |
System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 3(3), pp. 314-331, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Verification, Formal specification, Testing, Formal methods, Validation, Code generation, Computer architecture, Test generation, Rapid prototyping, Process algebra, Conformance testing, Cache coherency, System level design, Co-design, lotos, Hardware design, Co-simulation, numa, cc-numa |
30 | Bhed Bahadur Bista, Y. Ujiie, K. Furuya, Kaoru Takahashi, Norio Shiratori |
Support System for Constructing Communication Services and Protocols Based on Compositional Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 15-22, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
communication service design, communication protocol design, compositional approach, sequential composition, protocols, LOTOS, service specifications, protocol specifications, parallel composition |
30 | Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen |
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(6), pp. 378-389, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Modechart, VFSM, Formal methods, specification languages, Z, SDL, industrial applications, LOTOS, ESTEREL, technology assessment |
30 | Bhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori |
A flexible protocol synthesis method for adopting requirement changes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 319-326, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
flexible protocol synthesis method, requirement changes adoption, communicating entities, maintenance issue, protocol synthesis method, formal specification language LOTOS, formal specification, protocols, software maintenance, specification languages, protocol specification |
30 | J. William Atwood, Y. Zhang |
A definition of the XTP service and its formal specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 20th Conference on Local Computer Networks (LCN'95), Minneapolis, Minnesota, USA, October 16-19, 1995, pp. 459-468, 1995, IEEE Computer Society, 0-8186-7162-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
XTP service, Xpress Transfer Protocol, transport-level protocol, network-level protocol, unicast environment, multicast environment, specification architecture, data type definitions, process structures, distributed systems, real-time systems, real-time systems, formal specification, formal specification, local area networks, transport protocols, multimedia systems, multimedia systems, open systems, LOTOS |
30 | Peter B. Ladkin, Barbara B. Simons |
Static analysis of multiway synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31 - November 3, 1994, Toronto, Ontario, Canada, pp. 39, 1994, IBM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
Lotos, OCCAM |
30 | Ludo Cuypers |
Specification Languages and Their Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 21th Conference on Computer Science, CSC '93, Indianapolis, IN, USA, February 16-18, 1993, pp. 87-92, 1993, ACM, 0-89791-558-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Lotos |
30 | Ed Brinksma |
Constraint-Oriented Specification in a Constructive Formal Description Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 130-152, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
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 |
25 | Gwen Salaün, Tevfik Bultan |
Realizability of Choreographies Using Process Algebra Encodings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 167-182, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | J. Christian Attiogbé, Pascal André, Gilles Ardourel |
Checking Component Composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC@ETAPS ![In: Software Composition - 5th International Symposium, SC@ETAPS 2006, Vienna, Austria, March 25-26, 2006, Revised Papers, pp. 18-33, 2006, Springer, 3-540-37657-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Behavioural Interface Description, Behavioural Verification, Components, Services, Composability |
25 | Frédéric Lang |
Refined Interfaces for Compositional Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006., pp. 159-174, 2006, Springer, 3-540-46219-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Frédéric Lang |
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings, pp. 70-88, 2005, Springer, 3-540-30492-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni |
From Specification to Hardware Device: A Synthesis Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 665-681, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Rapid System Prototyping, Synthesis, Hardware Design |
25 | Frederic Tronel, Frédéric Lang, Hubert Garavel |
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, pp. 244-260, 2003, Springer, 3-540-20491-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
New Operators for the TURTLE Real-Time UML Profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, pp. 214-228, 2003, Springer, 3-540-20491-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Kenneth J. Turner |
Specifying and Realising Interactive Voice Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings, pp. 15-30, 2003, Springer, 3-540-20175-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Manuel J. Fernández-Iglesias, Francisco J. González-Castaño, José M. Pousada Carballo, Martín Llamas Nistal, Alberto Romero Feijoo |
From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, pp. 436-448, 2001, Springer, 3-540-41791-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Ji He, Kenneth J. Turner |
Specifying Hardware Timing with ET-L OTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings, pp. 161-166, 2001, Springer, 3-540-42541-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Perfecto Mariño, Miguel Angel Domínguez, Francisco Poza, Juan B. Nogueira |
Design of Distributed System Protocols based on Standard FDL's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 25th EUROMICRO '99 Conference, Informatics: Theory and Practice for the New Millenium, 8-10 September 1999, Milan, Italy, pp. 2334-2341, 1999, IEEE Computer Society, 0-7695-0321-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Celso A. S. Santos, Jean-Pierre Courtiat, Luiz Fernando Gomes Soares, Guido L. De Souza |
Formal Specification and Verification of Hypermedia Documents based on the Nested Context Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMM ![In: 1998 MultiMedia Modeling (MMM '98), October 12-15, 1998, Lausanne, Switzerland, Proceedings, pp. 21-222, 1998, IEEE Computer Society, 0-8186-8911-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Diego Latella, Paola Quaglia |
A Fully Parallel Calculus of Synchronizing Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings, pp. 732-745, 1993, Springer, 3-540-56610-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Jan de Meer, Axel Rennoch, Jörg Burmeister |
Formal approach to QoS specification and verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, October 24-28, 1993, Toronto, Ontario, Canada, 2 Volumes, pp. 108-119, 1993, IBM. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | Toufik Messaoud Maarouk, Mohammed El Habib Souidi, Nadia Hoggas |
Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Informatics ![In: Comput. Informatics 40(5), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui |
Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Embed. Syst. ![In: Int. J. Embed. Syst. 10(6), pp. 453-469, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Hubert Garavel, Frédéric Lang, Wendelin Serwe |
From LOTOS to LNT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ModelEd, TestEd, TrustEd ![In: ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, pp. 3-26, 2017, Springer, 978-3-319-68269-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Tommaso Bolognesi |
LOTOS-Like Composition of Boolean Nets and Causal Set Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ModelEd, TestEd, TrustEd ![In: ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, pp. 27-47, 2017, Springer, 978-3-319-68269-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui |
A New Approach for Generating LOTOS Specifications from UML Dynamic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C3S2E ![In: Proceedings of the Eighth International C* Conference on Computer Science & Software Engineering, Yokohama, Japan, July 13-15, 2015, pp. 138-143, 2015, ACM, 978-1-4503-3419-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui |
From UML Statecharts to LOTOS Expressions Using Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIST ![In: Information and Software Technologies - 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, Proceedings, pp. 548-559, 2015, Springer, 978-3-319-24769-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Maarouk Toufik Messaoud, Djamel-Eddine Saïdouni, Mahdaoui Rafik, Houassi Hichem |
Interpretation of DD-LOTOS Specification by C-DATA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS (Short Papers and Workshops) ![In: New Trends in Databases and Information Systems - ADBIS 2015 Short Papers and Workshops, BigDap, DCSA, GID, MEBIS, OAIS, SW4CH, WISARD, Poitiers, France, September 8-11, 2015. Proceedings, pp. 414-423, 2015, Springer, 978-3-319-23200-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni |
Formalizing Timed BPEL by D-LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Embed. Real Time Commun. Syst. ![In: Int. J. Embed. Real Time Commun. Syst. 5(2), pp. 1-21, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Giuseppe De Ruvo, Antonella Santone |
An Eclipse-Based Editor to Support LOTOS Newcomers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 2014 IEEE 23rd International WETICE Conference, WETICE 2014, Parma, Italy, 23-25 June, 2014, pp. 372-377, 2014, IEEE Computer Society, 978-1-4799-4249-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Jan Bury |
Project Kalina: The Lotos Operation Conundrum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cryptologia ![In: Cryptologia 36(2), pp. 119-128, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Fabienne Boyer, Olivier Gruber, Gwen Salaün |
Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, pp. 103-117, 2011, Springer, 978-3-642-21436-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Valentin Chimisliu, Franz Wotawa |
Abstracting timing information in UML state charts via temporal ordering and LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: Proceedings of the 6th International Workshop on Automation of Software Test, AST 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011, pp. 8-14, 2011, ACM, 978-1-4503-0592-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Jan Bury |
Operation Lotos: An Unsuccessful Attempt on U.S. Government Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cryptologia ![In: Cryptologia 34(1), pp. 60-87, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee |
Translating FSP into LOTOS and networks of automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 22(6), pp. 681-711, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Abdelhafid Zitouni, Mahmoud Boufaïda, Lionel Seinturier |
Specifying Components with Compositional Patterns, LOTOS and Design By Contract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEDE ![In: ISCA 19th International Conference on Software Engineeringand Data Engineering (SEDE-2010) June 16-18, 2010, Hilton Fisherman's Wharf, San Francisco, CA, USA, pp. 190-195, 2010, ISCA, 978-1-880843-77-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
18 | Radu Mateescu 0001, Gwen Salaün |
Translating Pi-Calculus into LOTOS NT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 229-244, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Pedro Losco Takecian, João Eduardo Ferreira, Simon Malkowski, Calton Pu |
Using LOTOS for rigorous specifications of workflow patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CollaborateCom ![In: The 6th International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2010, Chicago, IL, USA, 9-12 October 2010, pp. 1-7, 2010, ICST / IEEE, 978-963-9995-24-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Monika Kapus-Kolar |
An action refinement operator for E-LOTOS with true concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 31(1), pp. 77-87, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Monika Kapus-Kolar |
Reversible enhanced event structures: Towards reversible E-LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 31(5), pp. 942-947, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Hubert Garavel, Gwen Salaün, Wendelin Serwe |
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 74(3), pp. 100-127, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Samira Sadaoui, Malek Mouhoub, Bo Chen |
An Efficient LOTOS-Based Framework for Describing and Solving (Temporal) CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 19(6), pp. 765-789, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe |
Verification of an industrial SystemC/TLM model using LOTOS and CADP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), July 13-15, 2009, Cambridge, Massachusetts, USA, pp. 46-55, 2009, IEEE, 978-1-4244-4806-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Monika Kapus-Kolar |
Enhanced event structures: Towards a true concurrency semantics for E-LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 29(2), pp. 205-215, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Tarek Sadani |
Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temps-réel décrits en RT-LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
18 | Nicolas Gorse, Luigi Logrippo, Jacques Sincennes |
Formal detection of feature interactions with logic programming and LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 5(2), pp. 135, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Monika Kapus-Kolar |
Towards weak sequencing for E-LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 28(1), pp. 59-73, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Hazem El-Gendy, Nabil El-Kadhi |
Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Methods Sci. Eng. ![In: J. Comput. Methods Sci. Eng. 5(4), pp. 45-56, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Hazem El-Gendy, Nabil El-Kadhi |
Formal Method for Automated Transformation of Lotos Specifications to Estelle Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 15(5), pp. 873-892, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Grzegorz Rogus, Tomasz Szmuc |
Modeling and Verification of Reactive Software Using LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering: Evolution and Emerging Technologies ![In: Software Engineering: Evolution and Emerging Technologies, pp. 365-377, 2005, IOS Press, 978-1-58603-559-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
18 | Gwen Salaün, Wendelin Serwe |
Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings, pp. 287-306, 2005, Springer, 3-540-30492-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Paulo Nazareno Maia Sampaio |
Conception formelle de documents multimédia interactifs: une approche s' appuyant sur RT-LOTOS ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
18 | Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat |
An Approach for the Automatic Generation of RT-LOTOS Specifications from SMIL 2.0 Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Braz. Comput. Soc. ![In: J. Braz. Comput. Soc. 9(3), pp. 39-51, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Perfecto Mariño, Miguel Angel Domínguez, Francisco Poza, Fernando Vázquez |
Using LOTOS in the specification of industrial bus communication protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 45(6), pp. 767-799, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Monika Kapus-Kolar |
A generalization of the E-LOTOS renaming operator: a convenience for specification of new forms of process composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 26(6), pp. 549-563, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Monika Kapus-Kolar |
Deriving Self-Stabilizing Protocols for Services Specified in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatica (Slovenia) ![In: Informatica (Slovenia) 27(1), pp. 57-74, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
18 | Antonella Santone, Gigliola Vaglini |
Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 30(1), pp. 33-58, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni |
Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 9-11 June 2003, San Diego, CA, USA, pp. 86-92, 2003, IEEE Computer Society, 0-7695-1943-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri |
Using Lotos in Workflow Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (3) ![In: ICEIS 2003, Proceedings of the 5th International Conference on Enterprise Information Systems, Angers, France, April 22-26, 2003, pp. 364-369, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
18 | Bernard Stepien, Luigi Logrippo |
Graphic visualization and animation of LOTOS execution traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 40(5), pp. 665-681, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Keiichi Yasumoto, Takaaki Umedu, Hirozumi Yamaguchi, Akio Nakata, Teruo Higashino |
Protocol animation based on event-driven visualization scenarios in real-time LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 40(5), pp. 639-663, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Muffy Calder, Savi Maharaj, Carron Shankland |
A Modal Logic for Full LOTOS based on Symbolic Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 45(1), pp. 55-61, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Hubert Garavel, Frédéric Lang, Radu Mateescu 0001 |
Compiler Construction Using LOTOS NT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 9-13, 2002, Springer, 3-540-43369-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi |
A compiler to implement LOTOS specifications in distributed environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 36(2/3), pp. 291-310, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Carron Shankland, Alberto Verdejo |
A case study in abstraction using E-LOTOS and the FireWire. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 37(3/4), pp. 481-502, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Antonella Santone, Gigliola Vaglini |
Reusing LOTOS specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 25(6), pp. 309-314, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Ahmed Khoumsi |
Synthesizing distributed real-time systems modeled by a timed version of a subset of LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Proceedings of the 14th International Symposium on Systems Synthesis, ISSS 2001, Montrél, Québec, Canada, September 30 - October 3, 2001., pp. 268-273, 2001, ACM / IEEE Computer Society, 1-58113-418-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Muffy Calder, Carron Shankland |
A Symbolic Semantics and Bisimulation for Full LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea, pp. 185-200, 2001, Kluwer, 0-7923-7470-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
18 | Kenneth J. Turner |
The N-Body Problem in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM-Everywhere@FORTE/PSTV ![In: Formal Methods Elsewhere - a Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy, October 2000, pp. 113-135, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Q. Fu, P. Harnois, Luigi Logrippo, Jacques Sincennes |
Feature interaction detection: a LOTOS-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 32(4), pp. 433-448, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Daniel Amyot, Luigi Logrippo |
Use Case Maps and LOTOS for the prototyping and validation of a mobile group call system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 23(12), pp. 1135-1157, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Guy Leduc, François Germeau |
Verification of security protocols using LOTOS-method and application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 23(12), pp. 1089-1103, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Robert G. Clark, Ana M. D. Moreira |
Use of E-LOTOS in Adding Formality to UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 6(11), pp. 1071-1087, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
18 | Maarten van Loon, Peter J. H. Builtjes, Arjo J. Segers |
Data assimilation of ozone in the atmospheric transport chemistry model LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Environ. Model. Softw. ![In: Environ. Model. Softw. 15(6-7), pp. 603-609, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Daniel Amyot, Luigi Logrippo |
Structural Coverage For LOTOS - a Probe Insertion Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada, pp. 19-34, 2000, Kluwer, 0-7923-7921-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
18 | Ji He, Kenneth J. Turner |
Verifying and Testing Asynchronous Circuits using LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy, pp. 267-283, 2000, Kluwer, 0-7923-7968-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
18 | Daniel Amyot, Leïla Charfi, Nicolas Gorse, Tom Gray, Luigi Logrippo, Jacques Sincennes, Bernard Stepien, Tom Ware |
Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIW ![In: Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK, pp. 274-289, 2000, IOS Press, 1-58603-065-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
18 | Ji He |
Formal specification and analysis of digital hardware circuits in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
18 | Samira Sadaoui |
Aide à la réutilisation de spécifications formelles en LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
18 | Monika Kapus-Kolar |
More Efficient Functionality Decomposition in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatica (Slovenia) ![In: Informatica (Slovenia) 23(2), 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
18 | Kshirasagar Naik, Zixue Cheng, David S. L. Wei |
Distributed implementation of the disabling operator in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 41(3), pp. 123-130, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Perry R. James, Markus Endler, Marie-Claude Gaudel |
Development of an Atomic-Broadcast Protocol Using LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 29(8), pp. 699-719, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 29(12), pp. 1123-1147, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Richard O. Sinnott |
Modelling Dynamic Distributed Systems in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999, pp. 203-212, 1999, Herbert Utz Verlag, 3-89675-918-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
18 | Wen Li, Ye Xinming, Zhiyong Liu |
A Formal Description Technology: Graphics E-LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China, pp. 389-400, 1999, Kluwer, 0-7923-8646-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
18 | Ji He, Kenneth J. Turner |
Specification and Verification of Synchronous Hardware using LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China, pp. 295-312, 1999, Kluwer, 0-7923-8646-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
18 | Monika Kapus-Kolar |
Supporting Service Parameters in E-LOTOS-Based Protocol Derivation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Informatics ![In: Proceedings of the 17th IASTED International Conference on Applied Informatics, February 15-18, 1999, Innsbruck, Austria, pp. 631-633, 1999, IASTED/ACTA Press, 0-88986-241-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
18 | Yoonsik Cheon, Kangho Kim, Chulhong Kim, Youngbae Oh |
From LOTOS to C++, Issues and Tool Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Informatics ![In: Proceedings of the 17th IASTED International Conference on Applied Informatics, February 15-18, 1999, Innsbruck, Austria, pp. 368-371, 1999, IASTED/ACTA Press, 0-88986-241-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
18 | Luis Sánchez Fernández 0001, Gernot Koch, Natividad Martínez Madrid, María Luisa López Vallejo, Carlos Delgado Kloos, Wolfgang Rosenstiel |
Hardware-Software Prototyping from LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Autom. Embed. Syst. ![In: Des. Autom. Embed. Syst. 3(2-3), pp. 117-148, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella |
Partial Order Models for Quantitative Extensions of LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 30(9-10), pp. 925-950, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis |
Stochastic Process Algebras - Between LOTOS and Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 30(9-10), pp. 901-924, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Howard Bowman |
A LOTOS Based Tutorial on Formal Methods for Object-Oriented Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 16(4), pp. 343-372, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Chulhong Kim, Kangho Kim, Cheoljoo Jeong, Youngbae Oh |
Automatically Generating C++ Programs from LOTOS Behavior Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 5th Asia-Pacific Software Engineering Conference (APSEC '98), 2-4 December 1998, Taipei, Taiwan, ROC, pp. 54-60, 1998, IEEE Computer Society, 0-8186-9183-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|