Logo ya FreelancerJinsi inavyofanya KaziVinjari Kazi
Ingia Jisajili
Chapisha Mradi
Find Jobs
Hire Freelancers
Get Ideas
About
Resources
Freelancer Kazi C Programming
Modelling and Verification of Communicating Systems Software

Modelling and Verification of Communicating Systems Software

$30-250 USD

Imeghairiwa
Imechapishwa over 13 years ago

$30-250 USD

Kulipwa wakati wa kufikishwa
This is a simple project related to dependable systems. It concerns modelling and validation of high-level prototypes of software used to implement communicating systems. Computer-aided tools (S p i n and P R O M E L A - a PROcess MEta LAnguage) have to be used for the specification and verification of a simple communicating system. Deadline: The Project must be completed up to 24th of November 2010. For more information see the attached file.
C Programming
C++ Programming
Internet Marketing
SEO
Software Architecture
Kitambulisho cha mradi: 854469

Kuhusu mradi

pendekezo 1
Mradi wa mbali
Inatumika 14 yrs ago

Unatafuta kupata pesa?

Faida za kutoa zabuni kwenye Freelancer

Weka bajeti yako na muda uliopangwa
Pata malipo kwa kazi yako
Eleza pendekezo lako
Ni bure kujiandikisha na kutoa zabuni kwa kazi
1 mfanyakazi huru ana zabuni kwa wastani $150 USD kwa kazi hii
Picha ya Mtumiaji
@amazingidiot
Bedera ya INDIA
Hello sir, I would like to do your work. Thank You, Saurabh Mishra
$150 USD ndani ya siku 10
0.0 (0 hakiki)
0.0
0.0

Kuhusu mteja

Bedera ya GREECE
Athens, Greece
0.0
0
Mwanachama tangu Nov 15, 2010

Uthibitishaji wa Mteja

Kazi iliyotangulia Kazi inayofuata

Kazi zinazofanana

Robust Table Detection with Machine Learning
₹1500-12500 INR
Multi-platform Digital Marketing for Lead Generation
$15-25 USD / hour
Programming software for the end device
€250-750 EUR
Custom Pine Script for Telegram Signals
$30-250 USD
Automate Google Review Management
$250-750 NZD
Telegram-Bot for Binance Integration
$10-30 USD
Google Analytics & Ads Setup
$30-250 USD
C# Console app that saves AI file as PDF and PNG
$10-30 USD
Diverse Cryptocurrency Exchange Development
$2000-5000 USD
Multifunctional Bot Development
₹12500-37500 INR
Amplify Online Presence on Multiple Platforms - 15/05/2024 03:43 EDT
₹600-15000 INR
YouTube Advertising Impact on Consumer Behavior -- 2
₹600-1500 INR
Comprehensive Moroccan Marketing Strategist Needed
$30-250 USD
SEO positioning, we will utilize ChatGPT
€30-250 EUR
Social Media Ad Specialist for anime clothing brand
₹1500-12500 INR
Full-Stack Social Media Marketer Needed
₹1500-12500 INR
Adsense Approval and Ready Websites
₹600-1500 INR
Windows Desktop App for Data Transfer
$10-30 USD
API Connector for Adobe and ADP
₹12500-37500 INR
Trading View Pine Script Modification
₹600-1500 INR
Asante! Tumekutumia kiungo cha kudai mkopo wako bila malipo kwa barua pepe.
Hitilafu fulani imetokea wakati wa kutuma barua pepe yako. Tafadhali jaribu tena.
Logo ya Freelancer Kenya / Kiswahili Huduma na Usaidizi Mfanyakazi Huru Kategoria Miradi Mashindano Wafanyakazi Huru Enterprise Uanachama Mpango wa Mfanyakazi Huru Anayependelewa Usimamizi wa Mradi Kazi Mtaani Photo Anywhere Maonyesho API ya Wasanidi Programu Thibitishwa Programu ya Kompyuta Kuhusu Kutuhusu Inavyofanya Kazi Usalama Mwekezaji Ramani ya tovuti Hadithi Habari Timu Tuzo Matoleo kwa Vyombo vya Habari Kazi Sheria Sera ya Faragha Sheria na Masharti Sera ya Hakimiliki Kanuni ya Maadili Malipo na Ada WashirikaEscrow.comLoadshiftWarrior Forum VitufeNembo ya Programu ya Duka la AppleLogo ya Google Play
Imeshindwa kunakili kwenye ubao wa kunakili, tafadhali jaribu tena baada ya kurekebisha ruhusa zako.
Imenakiliwa kwenye ubao wa kunakili.
Watumiaji Waliosajiliwa Jumla ya Kazi Zilizochapishwa
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
Onyesho la kukagua linapakia
Ruhusa imetolewa kwa Uwekaji wa Kijiografia.
Muda wako wa kuingia umeisha na umetoka nje. Tafadhali ingia tena.