Publikationer (36)

Sortera efter: Datum |
10 | 25 | 50 | 100 
Föregående sida Föregående sida1/4 Nästa sida Sista sidan
A Ä B C D E F G H I J K L M N O P Q R S T U V W Y Z В Г К О С Э Alla 
A4 Konferenspublikationer
On a stochastic Ricker competition model (2016)
Göran Högnäs
Springer
A4 Konferenspublikationer
On Component-Based Reuse for Event-B (2016)
Andrew Edmunds, Colin Snook, Marina Waldén
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
One size fits all in archaeological information work? (2006)
Huvila I
University of Bratislava
A4 Konferenspublikationer
On Experiment Design for Identification of Ill-Conditioned Systems (2014)
Kurt E. Häggblom
IFAC papers online
International Federation of Automatic Control
Visa på utgivarens sida
A4 Konferenspublikationer
On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services (2016)
Faezeh Siavashi, Dragos Truscan, Jüri Vain
SCITEPRESS Science And Technology Publications
Visa på utgivarens sida
A4 Konferenspublikationer
On Optimization of Test Parallelization with Constraints (2016)
Masoumeh Parsa, Adnan Ashraf, Dragos Truscan, Ivan Porres
CEUR Workshop Proceedings
CEUR-WS.org
A4 Konferenspublikationer
On possibilistic correlation coefficient and ratio for fuzzy numbers (2011)
Fullér Robert, Harmati István Á., Mezei József, Várlaki Péter
WSEAS Press
A4 Konferenspublikationer
On Proving Recoverability of Smart Electrical Grids (2014)
Horsmanheimo Seppo, Kamali Maryam, Kolehmainen Mikko, Neovius Mats, Petre Luigia, Rönkkö Mauno, Sandvik Petter
Lecture Notes in Computer Science
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
On the Benefits of Using Aspect-Orientation in UPPAAL Timed Automata (2017)
Jüri Vain, Dragos Truscan, Junaid Iqbal, Leonidas Tsiopoulos
IEEE
10 | 25 | 50 | 100 
Föregående sida Föregående sida1/4 Nästa sida Sista sidan
Dela länk