المؤلفون: Ondřej Vašíček, Jan Fiedor, Tomáš Kratochvíla, Bohuslav Křena, Aleš Smrčka, Tomáš Vojnar

المصدر: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1b64ecaba40afc3d3f277b4a59805d87
https://doi.org/10.1145/3540250.3558939

المؤلفون: Petr Hlávka, Tomáš Kratochvíla, Vojtěch Řehák, David Šafránek, Pavel Šimeček, Tomáš Vojnar

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cesnet.cz/doc/techzpravy/2005/crc64/crc64.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.9469; http://www.cesnet.cz/doc/techzpravy/2005/crc64/crc64.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.9469
http://www.cesnet.cz/doc/techzpravy/2005/crc64/crc64.pdf

المؤلفون: Jan Holeček, Tomáš Kratochvíla, Vojtěch Řehák, David Šafránek, Pavel Šimeček

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cesnet.cz/doc/techzpravy/2004/formal-fpga-design/formal-fpga-design.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.7841; http://www.cesnet.cz/doc/techzpravy/2004/formal-fpga-design/formal-fpga-design.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.7841
http://www.cesnet.cz/doc/techzpravy/2004/formal-fpga-design/formal-fpga-design.pdf

المؤلفون: Tomáš Kratochvíla, Jiří Barnat, Jan Beran, Nikola Beneš, Luboš Brim, Petr Bauch

المصدر: Formal Aspects of Computing. 28:45-63

مصطلحات موضوعية: Requirements engineering, Computer science, business.industry, 020207 software engineering, Functional requirement, 02 engineering and technology, Avionics, User requirements document, computer.software_genre, Theoretical Computer Science, Linear temporal logic, 0202 electrical engineering, electronic engineering, information engineering, Redundancy (engineering), 020201 artificial intelligence & image processing, Temporal logic, Software requirements, Data mining, Software engineering, business, computer, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6fa42347daa8ce57faaf70b359a9e4dd
https://doi.org/10.1007/s00165-015-0348-9