<--- Back to Details
First PageDocument Content
Electromagnetism / Safety / Software engineering / C++ / Computer programming / Risk / IEC 61850 / IEC 60870 / Electric power / IEC 61499 / IEC 61131
Date: 2013-02-06 10:02:49
Electromagnetism
Safety
Software engineering
C++
Computer programming
Risk
IEC 61850
IEC 60870
Electric power
IEC 61499
IEC 61131

The IEC 61499 Function Block Standard: Overview of the Second Edition JAMES H. CHRISTENSEN Holobloc Inc, Cleveland Heights, OH USA THOMAS STRASSER AIT Austrian Institute of Technology, Vienna AT

Add to Reading List

Source URL: www.holobloc.com

Download Document from Source Website

File Size: 369,96 KB

Share Document on Facebook

Similar Documents

Computing / Software engineering / Computer programming / Carnegie Mellon University / Carnegie Mellon Silicon Valley / Abstract interpretation / Mellon / Scala / Refinement

Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

DocID: 1xVXp - View Document

Theoretical computer science / Information retrieval / Information science / Model checkers / Hashing / Model checking / Ith / SPIN model checker / Bitstate hashing / Cryptographic hash function / Correctness / Applied mathematics

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce

DocID: 1xVM2 - View Document

Provinces of Iran / Sharif University of Technology / Tehran Province / Nejad / Mohammad Ghodsi / Tehran / SUT

Education Sharif University of Technology, Tehran, Iran BS in Computer Engineering - Software Engineering Grade Point Average: 18.29 out of 20 GPAKasra Edalat Nejad

DocID: 1xVB5 - View Document

Improving the Adoption of Software Engineering Practices Through Persuasive Interventions Von der Fakultät für Elektrotechnik und Informatik der Gottfried Wilhelm Leibniz Universität Hannover zur Erlangung des Grades

DocID: 1xVuG - View Document

Logic / Mathematical logic / Non-classical logic / Markov logic network / Software testing / Probabilistic logic / Software bug / Code coverage / Debugging / Inference / First-order logic / Buggy

Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering

DocID: 1xVks - View Document