BibSonomy publications for /author/Laibinis http://www.bibsonomy.org/author/Laibinis BibSonomy RSS Feed for /author/Laibinis On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. dblp http://www.bibsonomy.org/bibtex/2876375eb81db19d53e017d47f304df53/dblp dblp 2008-05-07T00:00:00+02:00 dblp
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems.
Alexei Iliasov and Alexander Romanovsky and Budi Arief and Linas Laibinis and Elena Troubitsyna ISORC 141-145 (2007)
to dblp by dblp on 2008-05-07 00:00:00
]]> Formal Service-Oriented Development of Fault Tolerant Communicating Systems. dblp http://www.bibsonomy.org/bibtex/25cd5d67e61addc65736ab422f7219290/dblp dblp 2007-01-03T00:00:00+01:00 dblp
Formal Service-Oriented Development of Fault Tolerant Communicating Systems.
Linas Laibinis and Elena Troubitsyna and Sari Leppänen and Johan Lilius and Qaisar A. Malik RODIN Book 261-287 (2006)
to dblp by dblp on 2007-01-03 00:00:00
]]> Rigorous Development of Fault-Tolerant Agent Systems. dblp http://www.bibsonomy.org/bibtex/2967a7321ab6fad38c98ffcdc3ef6f6db/dblp dblp 2007-01-03T00:00:00+01:00 dblp
Rigorous Development of Fault-Tolerant Agent Systems.
Linas Laibinis and Elena Troubitsyna and Alexei Iliasov and Alexander Romanovsky RODIN Book 241-260 (2006)
to dblp by dblp on 2007-01-03 00:00:00
]]> Formal Development of Mechanisms for Tolerating Transient Faults. dblp http://www.bibsonomy.org/bibtex/2ec8c9cb2951f09291d35919572b8fad5/dblp dblp 2007-01-03T00:00:00+01:00 dblp
Formal Development of Mechanisms for Tolerating Transient Faults.
Dubravka Ilic and Elena Troubitsyna and Linas Laibinis and Colin Snook RODIN Book 189-209 (2006)
to dblp by dblp on 2007-01-03 00:00:00
]]> Formal Model-Driven Development of Communicating Systems. dblp http://www.bibsonomy.org/bibtex/2cc9668ab5c846a2fbbef158357440c9b/dblp dblp 2006-11-28T00:00:00+01:00 dblp
Formal Model-Driven Development of Communicating Systems.
Linas Laibinis and Elena Troubitsyna and Sari Leppänen and Johan Lilius and Qaisar A. Malik ICFEM 188-203 (2005)
to dblp by dblp on 2006-11-28 00:00:00
]]> Formal Development of Reactive Fault Tolerant Systems. dblp http://www.bibsonomy.org/bibtex/253d788818834e402e2ff1c8e08b820db/dblp dblp 2006-05-31T00:00:00+02:00 dblp
Formal Development of Reactive Fault Tolerant Systems.
Linas Laibinis and Elena Troubitsyna RISE 234-249 (2005)
to dblp by dblp on 2006-05-31 00:00:00
]]> Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. dblp http://www.bibsonomy.org/bibtex/2772fce6c69c9b7ed293ca60ab30709fc/dblp dblp 2005-01-24T00:00:00+01:00 dblp
Fault Tolerance in a Layered Architecture: A General Specification Pattern in B.
Linas Laibinis and Elena Troubitsyna SEFM 346-355 (2004)
to dblp by dblp on 2005-01-24 00:00:00
]]> Refinement of Fault Tolerant Control Systems in B. dblp http://www.bibsonomy.org/bibtex/2f87e3fdf8548f47b22296607b2b94281/dblp dblp 2005-01-24T00:00:00+01:00 dblp
Refinement of Fault Tolerant Control Systems in B.
Linas Laibinis and Elena Troubitsyna SAFECOMP 254-268 (2004)
to dblp by dblp on 2005-01-24 00:00:00
]]> Developing Components in the Presence of Re-entrance. dblp http://www.bibsonomy.org/bibtex/2d6bcfada0509f69af35f866ea8ef4fd1/dblp dblp 2002-08-12T00:00:00+02:00 dblp
Developing Components in the Presence of Re-entrance.
Leonid Mikhajlov and Emil Sekerinski and Linas Laibinis World Congress on Formal Methods 1301-1320 (1999)
to dblp by dblp on 2002-08-12 00:00:00
]]> Functional Procedures in Higher-Order Logic. dblp http://www.bibsonomy.org/bibtex/285262ddb59b76ae9e9b490753208d4fb/dblp dblp 2002-01-03T00:00:00+01:00 dblp
Functional Procedures in Higher-Order Logic.
Linas Laibinis and Joakim von Wright TPHOLs 372-387 (2000)
to dblp by dblp on 2002-01-03 00:00:00
]]>