المؤلفون: Lasse Jacobsen, Mikael H. Møller, Joakim Byg, Jiri Srba, Morten Jacobsen, Kenneth Yrke Jørgensen

المصدر: Byg, J, Jacobsen, M, Jacobsen, L, Jørgensen, K Y, Møller, M H & Srba, J 2014, ' TCTL-Preserving Translations from Timed-Arc Petri Nets to Networks of Timed Automata ', Theoretical Computer Science, vol. 537, no. 5, pp. 3-28 . https://doi.org/10.1016/j.tcs.2013.07.011

مصطلحات موضوعية: Model checking, Alternating bit protocol, Theoretical computer science, General Computer Science, Computer science, Bounded function, Equivalence (formal languages), Petri net, Formal verification, Theoretical Computer Science, Automaton

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d5903463d0c942eb69678f161bdf60f8
https://doi.org/10.1016/j.tcs.2013.07.011

المؤلفون: Peter Bulychev, Paul Pettersson, Morgan Magnin, Wang Yi, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Joakim Byg, Gerd Behrmann, Didier Lime, Jiri Srba, Thomas Chatain, Olivier Roux, Alexandre David, Kenneth Y. Joergensen, Louis Marie Traonouez

المساهمون: Jard, Claude, H. Roux, Olivier, Roux, Olivier H.

المصدر: David, A, Behrmann, G, Bulychev, P, Byg, J, Chatain, T, Larsen, K G, Pettersson, P, Rasmussen, J I, Srba, J, Yi, W, Joergensen, K Y, Lime, D, Magnin, M, Roux, O H & Traonouez, L M 2013, Tools for Model-Checking Timed Systems . in C Jard & O H. Roux (eds), Communicating Embedded Systems: Software and Design: Formal Methods . Wiley, pp. 165-225 . https://doi.org/10.1002/9781118558188.ch6
Aalborg University
David, A, Rasmussen, J I, Larsen, K G, Behrmann, G, Bulychev, P, Byg, J, Chatain, T, Pettersson, P, Srba, J, Yi, W, Jørgensen, K Y, Lime, D, Magnin, M, Roux, O H & Traonouez, L-M 2009, Tools for Model-Checking Timed Systems . in O H Roux & C Jard (eds), Communicating Embedded Systems for Computer Science . Wiley, pp. 165-225 .
Communicating Embedded Systems: Software and Design: Formal Methods

مصطلحات موضوعية: Model checking, business.industry, Computer science, Embedded system, ROMEO, and timed extensions, UPPAAL-CORA/-TIGA, business, TAPAAL, timed-arc Petri nets, Model-checking, and tools, UPPAAL, timed automata/symbolic

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::024ccdc25a469599b1dea37374607d90
https://vbn.aau.dk/da/publications/68299ca7-4fec-4b81-8eca-c6e15f5966f3

المؤلفون: Joakim Byg, Kenneth Yrke Jørgensen, Jiří Srba

المصدر: Automated Technology for Verification and Analysis ISBN: 9783642047602
ATVA

مصطلحات موضوعية: Arc (geometry), Platform independent, Computer science, Petri net, Simulation, Automaton

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0bb0ac004124e2299cf48b1199eb453c
https://doi.org/10.1007/978-3-642-04761-9_7

المؤلفون: Joakim Byg, Kenneth Yrke Jørgensen, Jiří Srba

المصدر: Formal Methods and Software Engineering ISBN: 9783642103728
ICFEM

مصطلحات موضوعية: TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES, Computation tree logic, Theoretical computer science, Computer science, Distributed computing, Timed automaton, Computer Science::Software Engineering, Petri net, Process architecture, Translation (geometry), Automaton, Computer Science::Logic in Computer Science, Bounded function, Stochastic Petri net, Computer Science::Formal Languages and Automata Theory

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::14efbf01121cbd6c5351d95919c0dcac
https://doi.org/10.1007/978-3-642-10373-5_36

المؤلفون: Madhavi Latha Gandla, Niklas Mähler, Sacha Escamez, Tomas Skotare, Ogonna Obudulu, Linus Möller, Ilka N. Abreu, Joakim Bygdell, Magnus Hertzberg, Torgeir R. Hvidsten, Thomas Moritz, Gunnar Wingsle, Johan Trygg, Hannele Tuominen, Leif J. Jönsson

المصدر: Biotechnology for Biofuels, Vol 14, Iss 1, Pp 1-14 (2021)

مصطلحات موضوعية: Populus, Vesicle-associated membrane protein, VAMP, VAMP-associated protein, VAP27, Growth, Fuel, TP315-360, Biotechnology, TP248.13-248.65

وصف الملف: electronic resource

Relation: https://doaj.org/toc/1754-6834

URL الوصول: https://doaj.org/article/41c2b67f47d84ae194ae03b82f738bfd

المؤلفون: Ogonna Obudulu, Niklas Mähler, Tomas Skotare, Joakim Bygdell, Ilka N. Abreu, Maria Ahnlund, Madhavi Latha Gandla, Anna Petterle, Thomas Moritz, Torgeir R. Hvidsten, Leif J. Jönsson, Gunnar Wingsle, Johan Trygg, Hannele Tuominen

المصدر: BMC Genomics, Vol 19, Iss 1, Pp 1-18 (2018)

مصطلحات موضوعية: Secretory Carrier-Associated Membrane Protein (SCAMP), Populus, Wood chemistry, Wood density, Biomass, Bioprocessing, Biotechnology, TP248.13-248.65, Genetics, QH426-470

وصف الملف: electronic resource

Relation: http://link.springer.com/article/10.1186/s12864-017-4411-1; https://doaj.org/toc/1471-2164

URL الوصول: https://doaj.org/article/78a1a9bb1b594750a0e0a40c417a2a22

المؤلفون: Juha Piltti, Joakim Bygdell, Cecilia Fernández-Echevarría, Daniel Marcellino, Mikko J. Lammi

المصدر: Scientific Reports, Vol 7, Iss 1, Pp 1-12 (2017)

مصطلحات موضوعية: Medicine, Science

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2045-2322

URL الوصول: https://doaj.org/article/293a096374814e7e8467ae0f6f0fd064