Publications (36)

Sort by: Date | Title
10 | 25 | 50 | 100 
Previous page Previous page1/4 Next page Last page
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 В Г О С Э All 
A4 Conference proceedings
On a stochastic Ricker competition model (2016)
Göran Högnäs
Springer
A4 Conference proceedings
On Component-Based Reuse for Event-B (2016)
Andrew Edmunds, Colin Snook, Marina Waldén
Springer
View on publisher's site
A4 Conference proceedings
One size fits all in archaeological information work? (2006)
Huvila I
University of Bratislava
A4 Conference proceedings
On Experiment Design for Identification of Ill-Conditioned Systems (2014)
Kurt E. Häggblom
IFAC papers online
International Federation of Automatic Control
View on publisher's site
A4 Conference proceedings
On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services (2016)
Faezeh Siavashi, Dragos Truscan, Jüri Vain
SCITEPRESS Science And Technology Publications
View on publisher's site
A4 Conference proceedings
On Optimization of Test Parallelization with Constraints (2016)
Masoumeh Parsa, Adnan Ashraf, Dragos Truscan, Ivan Porres
CEUR Workshop Proceedings
CEUR-WS.org
A4 Conference proceedings
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 Conference proceedings
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
View on publisher's site
A4 Conference proceedings
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 
Previous page Previous page1/4 Next page Last page
Share link Export