|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 10 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Linas Laibinis, Elena Troubitsyna, Sari Leppänen |
Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach.  |
IJERTCS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Linas Laibinis, Elena Troubitsyna, Sari Leppänen |
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
fault tolerance, UML, B Method, communicating systems, parallel execution, service-oriented development |
| 1 | Markku Turunen, Kari Leppänen, Sari Leppänen |
Workflow Automation for System Architecting. |
ENASE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jukka Honkola, Sari Leppänen, Pasi Rinne-Rahkola, Martti Soderlund, Markku Turunen, Kimmo Varpaaniemi |
A Case Study: Applying Lyra in Modeling S60 Camera Functionality. |
ECBS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kari Leppänen, Sari Leppänen, Markku Turunen |
A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
model-based system design, formal methods, MDA, design automation, UML2 |
| 1 | Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik |
Formal Service-Oriented Development of Fault Tolerant Communicating Systems. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, UML, B Method, communicating systems, service-oriented development |
| 1 | Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen |
Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik |
Formal Model-Driven Development of Communicating Systems. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jukka Honkola, Sari Leppänen, Teemu Tynjälä |
Modeling the SpaceWire Architecture with Lyra. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sari Leppänen, Markku Turunen, Ian Oliver |
Application Driven Methodology for Development of Communicating Systems. |
FDL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Teemu Tynjälä, Sari Leppänen, Vesa Luukkala |
Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhana Helovuo, Sari Leppänen |
Exploration Testing. |
ACSD |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sari Leppänen, Matti Luukkainen |
Compositional Verification of a Third Generation Mobile Communication Protocol. |
ICDCS Workshop on Distributed System Validation and Verification |
2000 |
DBLP BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")