المؤلفون: Craig Bennett, David Cheng, Rob Delicata, Paulo Fernandes De Oliveira, Damien Karkinsky, Sotiris Moschoyiannis, James Mountstephens, Panagiotis Saragiotis, Mariam Tariq, Tugba Taskaya-temizel, Hayssam Traboulsi, Andrew Vassiliou, Kun Wei, Yongyan Zheng, Jiong Zhou

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

المصدر: http://www.cs.surrey.ac.uk/research/conference/3rd/downloads/PROCEEDINGS.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.2433; http://www.cs.surrey.ac.uk/research/conference/3rd/downloads/PROCEEDINGS.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.2433
http://www.cs.surrey.ac.uk/research/conference/3rd/downloads/PROCEEDINGS.pdf

المؤلفون: Alfredo Pironti, Joseph Snipes, Rémy Nouailletas, Giuseppe Ambrosino, L. Zabeo, Fernanda G. Rimini, Damien Karkinsky, Igor Gomez, Sylvain Brémond, Francesco Fucci, W. Treutterer, Massimiliano Mattei, Gianmaria De Tommasi, Micheal L. Walker, Marcello Cinque, Peter De Vries

المساهمون: Cinque, Marcello, De Tommasi, Gianmaria, De Vries, Peter C., Fucci, Francesco, Zabeo, Luca, Ambrosino, Giuseppe, Bremond, Sylvain, Gomez, Igor, Karkinsky, Damien, Mattei, Massimiliano, Nouailletas, Remy, Pironti, Alfredo, Rimini, Fernanda G., Snipes, Joseph A., Treutterer, Wolfgang, Walker, Micheal L.

المصدر: IEEE Transactions on Plasma Science

مصطلحات موضوعية: Structure (mathematical logic), Requirements management, Nuclear and High Energy Physics, Tokamak, Computer science, Process (engineering), Enterprise architecture, Condensed Matter Physics, 01 natural sciences, 010305 fluids & plasmas, law.invention, Systems Modeling Language, law, 0103 physical sciences, Systems engineering, Actuator, Verification and validation

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0c461f07568b0c1b969983f90318afbb
https://hdl.handle.net/21.11116/0000-0006-8F21-421.11116/0000-0006-8F23-221.11116/0000-0008-6081-9

المؤلفون: Damien Karkinsky, Helen Treharne, Steve Schneider

المصدر: Lecture Notes in Computer Science ISBN: 9783540732099
IFM

مصطلحات موضوعية: Interconnection, Computer science, Node (networking), Distributed computing, Join (topology), State (computer science), Proof obligation, Active object, Object (computer science)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ad4d6e90a43a47ff7762a35e276f7655
https://doi.org/10.1007/978-3-540-73210-5_20